واژه ‌نامه منطق و رایانش

درآمد به منطق و رایانش

بخشی از عبارت را بنویسید:
~~E: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۳۰~~E
~E: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۲۸~E
~I: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۲۹~I
∧E۱: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۲۲∧E۱
∧E۲: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۲۴∧E۱
∧I: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۲۳∧I
∨E: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۲۶∨E
∨I۱: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۲۵∨I۱
∨I۲: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۲۷∨I۲
≃: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۰۶
≡m: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۲۶≡m
≡t: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۰۹≡t
≤m: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۲۳≤m
⊃E: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۱۹⊃E
⊃i: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۲۱⊃I
⊢: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۱۴
⊢: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۳۷
⊩: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۲۹
↑: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۵۵
↓: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۵۳
⏉: فرمول ۰۰۱-۰۰۷-۰۰۱/۳۳
⏊: فرمول ۰۰۱-۰۰۷-۰۰۱/۳۴
ALU: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۴۴Arithmetic logic unit
AND: جبر بول ۰۰۱-۰۰۴-۰۰۱/۰۹AND Gate
B.Min: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۴۶B.Min
c.e: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۱۱c.e.
cmp.rl: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۱۵cmp.rl
CNF: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۴۵CNF
Co-c.e: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۱۰Co-c.e
CPU: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۴۲Arithmetic logic unit
degm: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۲۸m-deg)
degt: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۱۲m-deg)
DNF: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۴۸DNF
DTM: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۳۳DTM
Ex Falso Quodlibet: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۲۹Ex Falso Quodlibe
ƒPℓ: فرمول ۰۰۱-۰۰۷-۰۰۱/۱۲ƑLp
I.C.G: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۵۷I.C.G
K: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۱۹Diagonal halting set
K⚬: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۱۴Halting set
L.E.M: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۶۷L.E.M
NAND: جبر بول ۰۰۱-۰۰۴-۰۰۱/۱۲NAND Gate
NOR: جبر بول ۰۰۱-۰۰۴-۰۰۱/۱۳NOR Gate
NOT: جبر بول ۰۰۱-۰۰۴-۰۰۱/۱۱NOT Gate
NTM: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۳۶DTM
nامین عدد اول: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۵۵Primeness function
OR: جبر بول ۰۰۱-۰۰۴-۰۰۱/۱۰OR Gate
p.r: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۲۲p.r
Pℓ: فرمول ۰۰۱-۰۰۷-۰۰۱/۰۶LP
pr.rl: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۱۸Pr.rl
RM: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۱۲RM
T-Complete: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۰۷M-Complete
T-کاهش‌پذیر: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۰۵T-reducible
URM: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۱۳URM
UTM: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۳۱Universal Turing machine
Wff: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۱۶Well-Formed Formula
wff: فرمول ۰۰۱-۰۰۷-۰۰۱/۱۸wff
Wn: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۱۲Wx
μ: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۴۷Μ
μ: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۰۶Μue
μRc: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۰۶μRc
Π۱: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۱۱Π۱
Π۲: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۱۳Π۲
Σ۱: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۰۸Σ۱
Σ۲: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۱۲Σ2
اتم: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۰۹Atom
اتم‌: فرمول ۰۰۱-۰۰۷-۰۰۱/۰۸Atom
اثبات شدنی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۳۵Provable
اثبات نشدنی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۳۶Unprovable
استقرای ساختاری: فرمول ۰۰۱-۰۰۷-۰۰۱/۲۸Structural induction
استقرای طولی فرمول‌: فرمول ۰۰۱-۰۰۷-۰۰۱/۳۱Induction over length of formula
استقرای طولی فرمول‌: فرمول ۰۰۱-۰۰۷-۰۰۱/۲۹Induction over length of formula
استلزام توتولوژیک: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۳۵Tautological Implication
استلزام منطقی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۲۸Logical implication
استنتاج سمانتیکی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۳۳Semantics Inference
استنتاج صوری: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۳۸Formal Deduction
استنتاج طبیعی: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۰۶Natural Deduction
استنتاج عضوی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۴۶Membership deduction
استنتاج معتبر سمانتیکی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۳۲Semantically valid inference
استنتاج معتبر نحوی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۱۵Syntactically Valid Inference
استنتاج: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۱۶Deduction
استنتاج: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۳۱Deduction
استوار: فرامنطق ۰۰۱-۰۰۶-۰۰۱/۰۴Sound
استواری و تمامیت: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۲۲Soundness and Completness
استواری: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۲۰Soundness
اشتقاق نحوی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۰۴Syntactic derivation
اصل انفجار: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۲۷Principle of explosion
اصل سرریز: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۲۸Principle of explosion
الگوریتم اقلیدس: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۳۶Euclid's algorithm
الگوریتمِ تصمیم پذیری فرمول: فرمول ۰۰۱-۰۰۷-۰۰۱/۳۸Well-formed formula decision algorithm
الگوریتم غیر-قطعی: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۳۱Nondeterministic algorithm
الگوریتم کارساز: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۴۰Efficient algorithm
الگوریتم: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۲۵Algorithm
انباره: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۱۰Register
انتخاب: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۴۶Selection
اندیس: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۱۰Index
انفجار استنتاجی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۲۶Deductive explosion
اوراکل: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۰۱Oracle
ایستانه: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۰۵State
اینهمانی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۴۷Identity
بازگشتی جزئی: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۰۲Partial recursive
بایت: جبر بول ۰۰۱-۰۰۴-۰۰۱/۲۳Byte
بدنه: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۱۵Body
برچسب: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۱۴Label
برخی ویژگی‌های تابع آکرمان: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۰۲Ackermann function properties
برگردانی به صورت نرمال: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۵۰Conversion to normal form
برنامه تورینگ: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۱۹Turing program
برنامه جهانی: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۱۹Universal program
برنامه ذخیره شده: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۳۹Stored-program
برنامه نویسی ماشین‌های اندوختگانی: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۱۹Programming of register machines
برهان خلف: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۷۱Indirect proof of validity
برهان صوری: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۳۵Formal proof
برهان نحوی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۳۶Syntactical proof
برهان: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۰۹Proof
برهان: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۱۹Proof
برهان: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۱۷Proof
بطور الگوریتمیک قابل محاسبه: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۲۶Algorithmically computable
بطور کارآمد قابل محاسبه: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۲۷Algorithmically computable
بگونه بازگشتی نخستینی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۱۹By Primitive recursion
به گونه استنتاجی بسته: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۷۸Deductively closed
به‌طور معنایی سازگار: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۲۷logically_consistent99s1
بیت: جبر بول ۰۰۱-۰۰۴-۰۰۱/۲۲Bit
پارامترهای بازگشتی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۲۰Recursive parameters
پایان پذیری الگوریتم: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۳۲Termination of the algorithm
پایگان (سلسله مراتب) پرشی مجموعه‌ها: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۱۷Jump hierarchy of sets
پایگان (سلسله مراتب) درجه‌های تورینگ: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۱۶Jump hierarchy of Turing-degrees
پایگان (سلسله مراتب) درجه‌های تورینگ: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۱۸Jump hierarchy of T-degrees
پایگان درجه‌های تورینگ: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۲۰Mapping degrees and Turing degrees
پخش پذیری: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۷۰Distributive law
پذیرنده: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۰۴Acceptor
پرش nام تورینگ: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۱۵The nth Turing jump
پرش تورینگ: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۱۳Turing jump
پیچیدگی زمانی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۳۹Time complexity
پیکربندی ماشین اندوختگانی: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۲۰Register machine configuration
تابع μ-بازگشتی: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۰۵Μ-recursive functions
تابع افکنش: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۱۳Projection function
تابع آکرمان یک تابع نخستینی-بازگشت نیست.: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۰۳Ackermann function not pr
تابع آکرمان: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۰۱Ackermann function)
تابع اول بودن: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۴۴Primeness function
تابع بازگشتی جزئی: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۰۳Partial recursive function
تابع بازگشتی کامل: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۰۸Total Recursive functions
تابع بازگشتی: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۰۷Recursive functions
تابع بازگشتی-نخستینی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۲۱Primitive recursive function
تابع بازگشتی-نخستینی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۰۱Primitive recursive function
تابع پیشین: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۳۰Predecessor function
تابع تالی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۱۲Successor function
تابع تعداد مقسوم علیه‌ها: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۴۳Divisor counting function
تابع تفریق کوتاه شده: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۳۱Truncated subtraction function
تابع توان: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۳۴Power function
تابع ثابت: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۴۱Constant function
تابع جانشینی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۱۶Substitution function
تابع جهانی: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۱۸Universal function
تابع رایانش‌پذیر جزئی: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۰۴Partial computable function
تابع رایانش‌پذیر: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۰۹Computable function
تابع رایانش‌پذیر: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۲۵Computable function
تابع رایانش‌ناپذیر: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۱۰Uncomputable Function
تابع صفر: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۱۱Zero function
تابع علامت: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۳۳Sign function
تابع فاکتوریل: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۳۵Factorial function
تابع قدر مطلق: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۳۲Absolute value function
تابع قطری: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۱۵Diagonal function
تابع کاهش: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۲۹Decrease function
تابع گذار: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۲۶Transition function
تابع گذار: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۲۰Turing function
تبدیل: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۶۵Transmutation
تحت '⊢' بسته: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۷۷Closed under ⊢
ترانزیستور: جبر بول ۰۰۱-۰۰۴-۰۰۱/۲۰Transistor
ترانهش: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۶۲Transposition
ترایایی استنتاج: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۴۵Transitivity of deduction
تز چرج-تورینگ: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۰۶Church–Turing thesis
تز چرچ: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۰۷Church’s Thesis
تصمیم پذیری فرمول خوش-ساخت: فرمول ۰۰۱-۰۰۷-۰۰۱/۳۷Decidability of well-formed formula
تصمیم ناپذیر: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۰۵Undecidable
تصمیم‌پذیر: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۰۱Decidable
تصمیم‌پذیر: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۶۰Decidable
تصمیم‌پذیری: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۱۲Decidability
تصمیم‌پذیری: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۵۹Decidability
تعبیر و فرامنطق در NdPℓ: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۸۵Interpretation and Metalogic in NdPℓ
تعبیر: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۱۵Interpretation
تعبیر: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۰۷Interpretation
تعریف بازگشتی صورت: فرمول ۰۰۱-۰۰۷-۰۰۱/۱۴Recursive definition of form
تعریف و استدلال مبتنی بر مورد: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۴۲Case-based definition and reasoning
تعمیم معرفی شرطی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۵۶Conditional introduction generalization
تفکیک شرطی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۶۸Conditional resolution
تمام: فرامنطق ۰۰۱-۰۰۶-۰۰۱/۰۶Complete
تمامیت کارکردی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۵۲Functionally Completeness
تمامیت گویا‌گر: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۵۱Expressive Completeness
تمامیت و استواری: فرامنطق ۰۰۱-۰۰۶-۰۰۱/۰۸Completeness and soundness
تمامیت: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۲۱Completeness
تمامیت: فرامنطق ۰۰۱-۰۰۶-۰۰۱/۰۷Completeness
تناقض: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۱۷Contradiction
تناقض: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۲۳Contradiction
توابع بیشینه و کمینه: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۳۶Maximum and minimum function
توابع پیشینی بازگشتی-نخستینی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۰۸Primitive recursive a priori functions
توابع پیشینی بازگشتی-نخستینی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۱۰Primitive recursive a priori functions
توابع رایانش پذیر جزئی: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۲۲Partial computable Functions
توالی: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۳۸Sequence
توالی: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۳۷Sequence
توان nامین فاکتور اول در تجزیه: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۵۶Power of Nth prime factor
توان گویایی: فرامنطق ۰۰۱-۰۰۶-۰۰۱/۱۰Expressive power
توتولوژی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۱۷Tautology
توقف بد: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۱۶Bad halting
توقف خوب: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۱۷Good halting
تئوری صوری: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۷۹Formal theory
تئوری: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۸۰Theory
ثابت‌های منطقی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۰۹Logical Constants
جبر بول: جبر بول ۰۰۱-۰۰۴-۰۰۱/۰۲Boolean algebra
جبر تصمیم‌پذیری: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۲۱Algebra of computability
جدول گذار ماشین تورینگ: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۲۷Turing machine Transition table
جستجوی کراندار: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۵۳Bounded Search
جمع کراندار: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۳۷Bounded sum
چرخه آزاد: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۴۳Free loop
چرخه تکرار در الگوریتم: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۴۰Iteration in algorithm
چرخه کراندار: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۴۱Bounded loop
چرخه: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۴۰Function iteration
چرخه: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۲۱Cycle
حاصل جمع ضرب کراندار: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۴۹Bounded total of multiplication
حافظه خطی: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۱۰Linear memory
حافظه: جبر بول ۰۰۱-۰۰۴-۰۰۱/۲۴Memory
حافظه: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۴۰Memory
حالت آغازی: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۱۶Initial state
حالت پایانی: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۱۷Terminal state
حالت و قاعده گذار: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۰۳State and transition rule
حالت: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۰۴State
حالت‌ها: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۱۵State
حالتی: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۰۲State
حدس کولاتز: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۶۱Collatz conjecture
حدس گلدباخ: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۶۳Goldbach Conjecture
حذف شرطی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۱۰Conditional Elimination
حذف عطفی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۱۱Conjunction Elimination
حذف فصلی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۱۲Disjunction Elimination
حذف نقض دو‌گانه: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۱۴Double Negation Elimination
حذف نقیض: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۱۳Negation Elimination
حساب لامبدا: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۰۲Lambda calculus
حلقه for: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۴۲Bounded loop
حلقه while: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۴۴Free loop
خاصیت این‌همانی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۲۱Idntity Property
خوارزمی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۰۲Al-Khwarizmi
خوانش یکتای فرمول: فرمول ۰۰۱-۰۰۷-۰۰۱/۲۷Unique reading of formula
درجه تورینگ: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۱۰Degree (many-one)
درجه چند-یک: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۲۷Many-one Degree
درجه حل‌ناشدنی: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۱۱turng_degree9s1
درجه فرمول: فرمول ۰۰۱-۰۰۷-۰۰۱/۲۴Degree of formula
درجه نگاشتی: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۲۹Mapping Degree
درخت پیکربندی: فرمول ۰۰۱-۰۰۷-۰۰۱/۳۹Formation tree
درخت پیکربندی: فرمول ۰۰۱-۰۰۷-۰۰۱/۴۲Formation tree
درخت فراکافت: فرمول ۰۰۱-۰۰۷-۰۰۱/۴۰Parse tree
دروازه‌ منطقی: جبر بول ۰۰۱-۰۰۴-۰۰۱/۰۸Logical gate
دست آوردنی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۱۰Drivable
دست-آوردنی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۳۴Drivable
دستگاه استنتاج طبیعی NdPℓ: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۰۲NdPℓ natural deduction system
دستگاه استنتاجی سازگار: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۷۴Consistent deductive system
دستگاه استنتاجی: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۰۷Deductive System
دستگاه استنتاجی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۰۳Deductive system
دستگاه اصل موضوعی: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۰۷Axiomatic system
دستگاه توابع بازگشتی: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۵۴Theory of recursion functions
دستگاه توابع بازگشتی-نخستینی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۰۹System of Primitive Recursive Functions
دستگاه حساب لامبدا: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۵۶Lambda calculus
دستگاه صوری سازگار: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۲۵Consistent formal system
دستگاه صوری ناسازگار: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۲۴Inconsistent formal system
دستگاه صوری: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۰۳Formal System
دستگاه صوری: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۰۶Formal System
دستگاه نحوی: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۰۵Syntactic System
دستگاه‌های نا-پیوستی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۳۲Non-Adjunctive Systems
دنباله پیکربندی: فرمول ۰۰۱-۰۰۷-۰۰۱/۱۶Formation sequence
دنباله ماشین‌های تورینگ: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۲۸Turing machines sequence
دنباله‌های کد گذاری: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۵۷Coding sequences
دیوید هیلبرت: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۰۳David Hilbert
رابط اصلی فرمول: فرمول ۰۰۱-۰۰۷-۰۰۱/۳۵Main connective
رابط جمله گانی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۱۰Sentential Connective
رابط‌: فرمول ۰۰۱-۰۰۷-۰۰۱/۰۹Connective
رابطه بازگشتی برشمردنی: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۰۸Recursively Enumerable sets
رابطه بازگشتی: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۱۸Recursive relation
رابطه بازگشتی-نخستینی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۲۷Primitive recursive relations
رابطه تصمیم پذیر بازگشتی-نخستینی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۲۸Primitive recursive decidable relations
رابطه تصمیم‌پذیر: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۱۹Decidable relations
رابطه رایانش‌پذیر برشمردنی: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۰۷Computably Enumerable Relations
رابطه رایانش‌پذیر: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۲۰Computable relations
رابطه معیار در چرخه تکرار: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۴۵Criterion relation in while loop
رابط‌های ابتدایی: فرمول ۰۰۱-۰۰۷-۰۰۱/۱۰Primitive connective
رابط‌های منطقی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۰۸Logical connectives
رایانش: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۵۰Computing
رایانش: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۲۳Computing
رایانش‌پذیر: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۵۱Computable
رایانش‌پذیر: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۲۴Computable
رایانش‌پذیری جزئی: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۰۱Partial computability
رایانش‌پذیری نسبی: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۲۱Relative computability
رایانش‌پذیری و توابع بازگشتی-نخستینی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۵۹Computability and primitive recursive functions
رایانش‌پذیری: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۴۹Computability
رتبه فرمول: فرمول ۰۰۱-۰۰۷-۰۰۱/۳۲Rank of formula
رجیستر: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۱۱Register
روش قطری در اثبات وجود تابع کامل رایانش‌نا‌پذیر: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۱۶Diagonalization method in computation
روش قطری: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۶۰Diagonalization method
روش کاهش: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۳۰Reduction method
روش نموداری نمایش ماشین تورینگ: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۲۳Diagrammatic method of Turing machine representation
روند آزمون گمانه کولاتز: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۶۲Collatz's conjecture test procedure
روند کارآمد: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۲۴Efficient procedure
روند مکانیکی: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۳۴Mechanical procedure
روند: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۲۳Process
زبان شاهد: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۱۰Observer's language
زبان صوری: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۰۱Formal Language
زبان صوری: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۰۱Formal Language
زبان صوری: فرمول ۰۰۱-۰۰۷-۰۰۱/۰۵Forma language
زبان موضوع: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۱۳Object language
زبان ناظر: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۱۱Observer's language
زبان‌های تابعی: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۰۵Functional programming
زیرفرمول بی‌واسطه: فرمول ۰۰۱-۰۰۷-۰۰۱/۲۶Immediate subformula
زیرفرمول: فرمول ۰۰۱-۰۰۷-۰۰۱/۲۵Subformula
ساختار ماشین تورینگ: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۰۸Turing machine structure
ساخت‌کار حافظه: جبر بول ۰۰۱-۰۰۴-۰۰۱/۲۶Memory mechanism
ساده گردان: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۵۵Simplification
ساده گردانی عبارات بولی: جبر بول ۰۰۱-۰۰۴-۰۰۱/۰۴Booleans expression simplification
سازگار بیشینه: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۸۳Maximally consistent
سازگاری بیشینه: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۸۴Maximal consistency
سازگاری دستگاه NdPℓ: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۸۶Consistency of end system
سخت‌افزار: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۰۸Hardware
سختی نسبی: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۰۶Relative difficulty
سطح الویت رابط‌‌: فرمول ۰۰۱-۰۰۷-۰۰۱/۳۶Connective priority level
سلسله مراتب (پایگان) حسابی: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۰۷Arithmetical Hierarchy
سور عمومی کراندار: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۵۱Bounded quantification
سور کراندار: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۵۰Bounded quantification
سور کراندار: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۱۱Bounded quantifier closure
سور وجودی کراندار: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۵۲Bounded quantification
شمارایی مجموعه فرمول‌ها: فرمول ۰۰۱-۰۰۷-۰۰۱/۲۲Denumerability of formulas
شمارش مقسوم علیه: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۳۹Counting divisor
شمارگذاری گودل: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۵۸Gödel Numbering
شمار‌گذاری گودل: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۲۶Godel numbering in RG
شماره گذاری گودل: فرمول ۰۰۱-۰۰۷-۰۰۱/۲۳Godel Numbering
شناسایی درخت فراکافت: فرمول ۰۰۱-۰۰۷-۰۰۱/۴۱Identifying the parse tree
شناسنده: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۰۳Recognizer
صحت الگوریتم: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۳۳Correctness of algorithm
صدق پذیر: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۲۵Satisfiable
صدق منطقی: فرامنطق ۰۰۱-۰۰۶-۰۰۱/۰۹Logical Truth
صورت توتولوژیک: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۱۸Tautological form
صورت عطفی سره: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۴۶Pure conjunctive form
صورت فصلی سره: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۴۳Pure conjunctive form
صورت متناقض: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۲۴Contradiction
صورت معتبر: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۱۹Valid form
صورت نامعتبر: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۲۲Invalid form
صورت نرمال عطفی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۴۴Conjunctive Normal Form
صورت نرمال فصلی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۴۷Conjunctive Normal Form
صورت‌های نرمال: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۴۱Normal forms
ضرب کراندار: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۳۸Bounded products
طول فرمول: فرمول ۰۰۱-۰۰۷-۰۰۱/۳۰Formula length
عبارت بولی: جبر بول ۰۰۱-۰۰۴-۰۰۱/۰۱Boolean expression
عملگر جستجو: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۵۴Search operator
عملگر کمینه‌ساز بیکران - μ: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۰۵Unbounded minimization operator
عملگر کمینه‌ساز: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۴۸Minimalization operator
فرازبان: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۱۸Metalanguage
فرازبان: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۱۲Meta-language
فراقضیه استنتاج: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۵۸Deduction theorem
فراقضیه استواری: فرامنطق ۰۰۱-۰۰۶-۰۰۱/۰۳Soundness Meta-theorem
فراقضیه تمامیت: فرامنطق ۰۰۱-۰۰۶-۰۰۱/۰۵Completeness Meta-theorem
فراقضیه: فرامنطق ۰۰۱-۰۰۶-۰۰۱/۰۲Metatheorem
فرا-متغیر: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۱۴Metavariable
فرامنطق: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۱۹Metalogic
فرامنطق: فرامنطق ۰۰۱-۰۰۶-۰۰۱/۰۱MetaLogic
فرمول اتمی: فرمول ۰۰۱-۰۰۷-۰۰۱/۲۰Atomic Formula
فرمول خوش-ساخت: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۰۲Well-Formed Formula
فرمول‌ خوش-ساخت: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۱۷Well-Formed Formula
فرمول خوش-ساخت: فرمول ۰۰۱-۰۰۷-۰۰۱/۱۷Well-Formed Formula
فرمول شماتیک: فرمول ۰۰۱-۰۰۷-۰۰۱/۱۹Schematic formula
فرمول غیر اتمی: فرمول ۰۰۱-۰۰۷-۰۰۱/۲۱Non-atomic formula
فیزیک گذرگاه‌های منطقی: جبر بول ۰۰۱-۰۰۴-۰۰۱/۲۱Logic gates Physics
فیزیک مدار منطقی: جبر بول ۰۰۱-۰۰۴-۰۰۱/۱۸Physics of logic circuit
قاعده استنتاج نحوی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۰۸Syntactic inference rule
قاعده استنتاج: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۰۹Inference rule
قاعده استنتاج: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۰۴Inference rule
قاعده بازگشتی-نخستینی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۱۷Primitive recursive rule
قاعده برهان شرطی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۳۳Rule of Conditional Proof
قاعده ترکیب: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۱۴Composition rule
قاعده جایگزینی نحوی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۲۳Rule of syntacticall replacement
قاعده دست-آوردنی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۵۰Derivable rule
قاعده گذار: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۰۶Transition rule
قضیه s-m-n: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۰۱S-m-n theorem
قضیه اول ناتمامیت: فرامنطق ۰۰۱-۰۰۶-۰۰۱/۱۲First Incompleteness theorem
قضیه اینهمانی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۵۲Identity theorem
قضیه بازگشت: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۱۶Recursion Theorem
قضیه برشمارش: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۱۱Enumeration theorem
قضیه برگردان: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۶۰Importation theorem
قضیه پارامتر: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۰۳Parameter theorem
قضیه پارامتر: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۰۲Parameter theorem
قضیه دمورگان: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۶۳Demorgan theorems
قضیه دوگانگی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۶۶Dichotomy theorem
قضیه دوم ناتمامیت: فرامنطق ۰۰۱-۰۰۶-۰۰۱/۱۳Second Incompleteness theorem
قضیه رایس: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۰۵Rice's theorem
قضیه رایس: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۰۴Rice's theorem
قضیه صورت نرمال: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۰۸Normal Form Theorem
قضیه فشردگی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۸۲Compactness Theorem
قضیه کلین-پست: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۱۹Kleene-Post Theorem
قضیه متمم: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۱۳Complementation Theorem
قضیه ناتمامیت: فرامنطق ۰۰۱-۰۰۶-۰۰۱/۱۱Incompleteness theorem
قضیه و استنتاج: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۵۹Theorem and deduction
قضیه: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۱۰Theorem
قضیه: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۳۴Theorem
قضیه: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۴۹Theorem
قطعی: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۲۱Deterministic
قطعیت: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۳۰Deterministic algorithm
قطعیت: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۳۴Determinism
قواعد استنتاج آغازین: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۰۷Primitive inference rules
قواعد استنتاج: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۰۸Rules of Inference
قواعد اشتقاق نحوی: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۰۸Syntactic derivation rules
قواعد حذفی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۰۸Elimination Rules
قواعد ساخت: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۰۳Formation rules
قواعد ساخت: فرمول ۰۰۱-۰۰۷-۰۰۱/۰۲Construction rules
قواعد گذار: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۰۱Transition rule
قواعد معرفی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۰۹Introduction Rules
قواعد نحوی: فرمول ۰۰۱-۰۰۷-۰۰۱/۰۱Syntax rules
قواعد نگارش صورت: فرمول ۰۰۱-۰۰۷-۰۰۱/۰۳Syntax of formal language
قواعد نگارش: فرمول ۰۰۱-۰۰۷-۰۰۱/۱۵Syntax rules
قواعده گذار: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۱۸Transition rule
قیاس اقترانی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۶۴Modus tollens
قیاس شرطی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۵۴Hypothetical Syllogism
قیاس فصلی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۶۹Disjunctive syllogism
کار روش کاهش: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۳۱Applying the reduction method
کارآمدی استنتاج سمانتیکی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۳۷Effectiveness of semantical inference
کارآمدی چندجمله‌ای: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۳۸Polynomial Efficiency
کارکرد حافظه: جبر بول ۰۰۱-۰۰۴-۰۰۱/۲۵Memory function
کامپیوترهای فون نویمانی: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۳۸Von Neumann computers
کامل تورینگ: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۰۶Many-one complete
کاهش پذیر تورینگ: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۰۴Turing reducible
کاهش‌پذیری نگاشتی: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۲۴Mapping Reducibility
کاهش‌پذیری: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۲۲Reducibility
کلاس الگوریتم‌ها: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۳۵Class of algorithms
کلاس توابع p.r: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۲۳Class of p.r functions
کلاس حسابی: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۱۴Arithmetical class
کلاهک خواندن / نوشتن: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۱۳Read / write head
کمینه ساز کراندار: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۴۵Bounded Minimalization
کمینه سازی بی‌کران: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۰۴Unbounded Minimalization
کنترل حافظه یک بیتی: جبر بول ۰۰۱-۰۰۴-۰۰۱/۲۷One-bit memory control
گذرگاه‌های منطق: جبر بول ۰۰۱-۰۰۴-۰۰۱/۱۴Logic gates9s0
گذرگاه‌های منطقی: جبر بول ۰۰۱-۰۰۴-۰۰۱/۰۶Logic gates
لیترال: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۴۲Literal
ماشین انتزاعی: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۵۸Abstract machine
ماشین اندوختگانی جهانی: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۱۷Universal register machine
ماشین بی‌پایان: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۳۰Infinite Machine
ماشین پایان دار: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۲۹Finite Machine
ماشین تورینگ اوراکل: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۰۳Oracle turing machine
ماشین تورینگ جهانی: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۳۰Universal Turing machine
ماشین‌ تورینگ غیر-قطعی: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۳۵Nondeterministic Turing machine
ماشین‌ تورینگ قطعی: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۳۲Deterministic Turing machine
ماشین تورینگ و حل مسئله: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۲۴Turing machine and problem solving
ماشین تورینگ: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۰۷Turing machine
ماشین جهانی: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۲۰Universal Machine
ماشین گذار حالت: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۲۹State transition machine
ماشین‌های اندوختگانی: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۵۳Register machine
ماشین‌های اندوختگانی: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۰۷Register Machine
ماشین‌های تورینگ: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۵۵Turing machines
ماشین‌های تورینگ: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۲۷Turing Machines
ماشین‌های تورینگ: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۰۶Turing Machines
متغیر نحوی: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۱۵Syntactical Variable
متغیرهای فرازبانی: فرمول ۰۰۱-۰۰۷-۰۰۱/۱۳Syntactical variables
مجموعه بازگشتی برشمردنی: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۱۰Recursively Enumerable sets
مجموعه بازگشتی: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۱۲Recursive sets
مجموعه بازگشتی-نخستینی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۲۵Primitive recursive sets
مجموعه تصمیم پذیر بازگشتی-نخستینی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۲۶Primitive recursive decidable sets
مجموعه تصمیم‌پذیر: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۱۳Decidable sets
مجموعه تصمیم‌ناپذیر: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۱۵Undecidable set
مجموعه توقف قطری: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۲۰Diagonal halting set
مجموعه توقف: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۱۵Halting set
مجموعه حالت‌ها: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۱۴Set of states
مجموعه حسابی: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۱۵Arithmetical set
مجموعه رایانش‌پذیر برشمردنی: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۰۹Computably Enumerable sets
مجموعه رایانش‌پذیر: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۱۴Computable sets
مجموعه سازگار فرمول: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۷۲Consistent set of formulas
مجموعه کامل (چند-یک): تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۳۲Many-one complete
مجموعه ناسازگار فرمول: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۷۳Inconsistent set of formulas
مجموعه نمایه بدیهی: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۱۴Trivial index set
مجموعه نمایه متمم: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۰۹Complement index set
مجموعه نمایه نابدیهی: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۱۳Non-trivial index set
مجموعه نمایه: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۱۲Index sets
محاسبه پذیر: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۲۸Algorithmically computable
محاسبه‌پذیر: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۵۲Computable
محاسبه‌پذیری: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۴۸Computability
محمول T کلین: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۰۹Kleene's T predicate
مدار منطقی اکثریت: جبر بول ۰۰۱-۰۰۴-۰۰۱/۱۶Logic circuit of majority
مدار منطقی: جبر بول ۰۰۱-۰۰۴-۰۰۱/۱۵Logic circuits
مدارهای ترتیبی: جبر بول ۰۰۱-۰۰۴-۰۰۱/۲۹Sequential Circuit
مدارهای ترتیبی: جبر بول ۰۰۱-۰۰۴-۰۰۱/۲۸Sequential Circuit
مدارهای منطقی ترکیبی: جبر بول ۰۰۱-۰۰۴-۰۰۱/۱۷Combinational logic circuit
مدارهای منطقی: جبر بول ۰۰۱-۰۰۴-۰۰۱/۰۷Logic circuits
مدل رایانش: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۵۷Model of computation
مدل مجموعه تهی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۱۶Empty set model
مدل مجموعه فرمول: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۱۴Formulas set model
مدل: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۱۶Model
مدل: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۱۳Model
مدل: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۱۵Model of wff set
مسئله تصمیم‌ گیری: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۱۶Decision problem
مسئله تصمیم‌ ناپذیری: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۱۸Undecidability Problem
مسئله‌ تصمیم‌پذیری: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۱۷Decidable Problem
مسئله تصمیم‌پذیری: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۰۵Entscheidungsproblem
مسئله توقف: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۱۶Halting Problem
مسئله توقف: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۴۷Halting problem
مسئله توقف: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۲۵Halting problem
مسئله دهم هیلبرت: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۰۴Hilbert's tenth Problem
مسئله‌های NP: جبر بول ۰۰۱-۰۰۴-۰۰۱/۰۵NP problems
مطلقاً سازگار: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۷۵Absolutely consistent
معادلات بازگشتی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۲۴معادلات بازگشتی
معتبر: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۲۰Valid
معرفی شرطی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۱۵Conditional Introduction
معرفی شرطی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۵۱Conditional Introduction
معرفی شرطی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۲۰Conditional Introduction
معرفی عطفی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۱۶Conjunction Introduction9s1
معرفی فصلی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۱۷Disjunction Introduction
معرفی نقیض: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۱۸Negation Introduction
معناشناختی مبتنی بر مدل: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۰۳Model-theoretic semantics
معناشناختی مبتنی بر نظریه برهان: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۰۶Proof-theoretic semantics
مقابله: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۴۸Collation
مقدار سمانتیکی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۰۲Semantic Value
مقدار معنایی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۰۱Semantic Value
مقدار نقطه برجا: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۱۷Fixed-point value
مقدمات: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۰۶Premises
مقدمات: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۴۰Premises
مقدمان استنتاج: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۱۸Premises of deduction
مقدمه: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۳۹Premise
منطق گفتمانی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۳۱Discussive Logic
منطق نا یکنوا: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۴۴Non-monotonic logic
منطق یکنوا: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۴۳Monotonic logic
منطقاً سازگار: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۲۶Satisfiable
منطقاً مستلزم: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۳۰Logically implies
منطق‌های فراسازگار: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۳۰Paraconsistent logics
مورد پرسش: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۱۷Problem Instance
ناسازگاری: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۱۱Inconsistency
نامعتبر: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۲۱Invalid
نتیجه استنتاجی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۱۱Deductive Consequence
نتیجه برهانی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۱۲Proof-theoretic Consequence
نتیجه صوری: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۳۲Formal conclusion
نتیجه مستقیم: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۰۵Direct conclusion
نتیجه منطقی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۳۱Logical consequence
نتیجه مهم سازگاری: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۷۶Important consequence of consistency
نتیجه نحوی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۱۳Syntactic Consequence
نتیجه: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۳۳conclusion
نتیجه: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۴۱Conclusion
نحو زبان صوری: فرمول ۰۰۱-۰۰۷-۰۰۱/۰۴Syntax of formal language
نحو زبان: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۰۴Syntax of language
نرم‌افزار: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۰۹Software
نظریه بر مبنای برهان: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۰۴Proof Theoretic Approach
نظریه بر مبنای مدل: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۱۴Model Theoretic Approach
نظریه برهان: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۰۵Proof Theory
نظریه برهان: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۰۵Proof theory
نظریه برهان: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۰۱Proof theory
نظریه توابع بازگشتی: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۰۱Theory of recursive functions
نظریه مبتنی بر مدل: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۰۲Model-Theoretic
نظریه مدل: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۱۳Model theory
نظریه مدل: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۰۱Model Theory
نظریه: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۸۱Theory
نظریه‌های بنیادی معنا: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۰۶Foundational theories of meaning
نظریه‌های سمانتیکی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۰۵Semantic theories
نظریه‌های گسترشی: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۰۳Extensional theories
نظریه‌های معنا: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۰۴Theories of Meaning
نظریه‌های ناگسترشی: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۰۴Non-extensional theories
نفی اختیاری: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۵۶Alternative Denial
نفی الزامی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۵۴Joint denial
نفی دوگانه: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۶۱Duble negation
نگاره: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۰۳Concept
نگاشت پرش تورینگ: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۱۴Turing jump mapping
نمادهای ویژه: فرمول ۰۰۱-۰۰۷-۰۰۱/۱۱Special symbols
نمایش شماتیک ماشین‌های اندوختگاهی: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۱۸Graphical registers machines representation
نمایه‌سازی توابع رایانش‌پذیر جزئی: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۰۷Indexation of partial computable functions
نمودار حالت: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۲۸States diagram
نوار حافظه: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۱۱Memory tape
نوار: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۱۲Memory tape
نیمه رسانا‌ها: جبر بول ۰۰۱-۰۰۴-۰۰۱/۱۹Semiconductors
نیمی-تصمیم‌پذیر: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۰۲Semi-Decidable
نیمی-تصمیم‌پذیر: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۶۴Partially decidable
هم‌ارزی‌های بولی پرکاربرد: جبر بول ۰۰۱-۰۰۴-۰۰۱/۰۳Commonly used boolean equivalences
هم‌ارز تورینگ: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۰۸Turing equivalent
هم‌ارز چند-یک: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۲۵Many-one equivalent
هم‌ارز منطقی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۳۴Logical equivalence
هم‌ارزی منطقی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۳۶Logical Equivalence
هم‌ارزی نحوی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۲۲Syntactical Equivalence
هم‌ارزی↝ دو ماشین تورینگ: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۳۷Decidability two Turing Machines
همزادی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۴۹Duality
واحد کنترل: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۲۲Control unit
واحد مرکزی پردازش: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۴۱Central processing unit
واحد منطق حسابی: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۴۳Arithmetic logic unit
واژگان ابتدایی: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۰۲Primitive vocabulary
واژگان ابتدایی: فرمول ۰۰۱-۰۰۷-۰۰۱/۰۷Primitive vocabulary
واژگان منطقی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۱۱Logical Vocabulary
واژگان نامنطقی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۱۲Non-Logical Vocabulary
واگردان: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۵۳Exportation theorem
ورودی: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۰۹Input
ویژگی این‌همانی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۲۰Identity property
ویژگی‌های الگوریتم: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۲۹Properties_of_algorithm
یادآوری نه قاعده استنتاج: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۰۷Reminder of 9 rules
یادگیری دنباله‌ای: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۳۹Sequence learning
یکنوایی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۴۲Monotonicity
𝒪(B): ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۰۲Oracle
~~E: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۳۰~~E
~E: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۲۸~E
~I: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۲۹~I
∧E۲: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۲۴∧E۱
∧E۱: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۲۲∧E۱
∧I: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۲۳∧I
∨E: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۲۶∨E
∨I۱: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۲۵∨I۱
∨I۲: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۲۷∨I۲
≃: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۰۶
≡m: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۲۶≡m
≡t: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۰۹≡t
≤m: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۲۳≤m
⊃E: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۱۹⊃E
⊃i: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۲۱⊃I
⊢: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۱۴
⊢: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۳۷
⊩: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۲۹
↓: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۵۳
↑: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۵۵
⏉: فرمول ۰۰۱-۰۰۷-۰۰۱/۳۳
⏊: فرمول ۰۰۱-۰۰۷-۰۰۱/۳۴
تابع قدر مطلق: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۳۲Absolute value function
مطلقاً سازگار: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۷۵Absolutely consistent
ماشین انتزاعی: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۵۸Abstract machine
پذیرنده: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۰۴Acceptor
تابع آکرمان یک تابع نخستینی-بازگشت نیست.: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۰۳Ackermann function not pr
برخی ویژگی‌های تابع آکرمان: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۰۲Ackermann function properties
تابع آکرمان: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۰۱Ackermann function)
جبر تصمیم‌پذیری: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۲۱Algebra of computability
الگوریتم: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۲۵Algorithm
بطور الگوریتمیک قابل محاسبه: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۲۶Algorithmically computable
بطور کارآمد قابل محاسبه: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۲۷Algorithmically computable
محاسبه پذیر: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۲۸Algorithmically computable
خوارزمی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۰۲Al-Khwarizmi
نفی اختیاری: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۵۶Alternative Denial
AND: جبر بول ۰۰۱-۰۰۴-۰۰۱/۰۹AND Gate
کار روش کاهش: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۳۱Applying the reduction method
ALU: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۴۴Arithmetic logic unit
واحد منطق حسابی: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۴۳Arithmetic logic unit
CPU: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۴۲Arithmetic logic unit
کلاس حسابی: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۱۴Arithmetical class
سلسله مراتب (پایگان) حسابی: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۰۷Arithmetical Hierarchy
مجموعه حسابی: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۱۵Arithmetical set
اتم‌: فرمول ۰۰۱-۰۰۷-۰۰۱/۰۸Atom
اتم: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۰۹Atom
فرمول اتمی: فرمول ۰۰۱-۰۰۷-۰۰۱/۲۰Atomic Formula
دستگاه اصل موضوعی: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۰۷Axiomatic system
B.Min: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۴۶B.Min
توقف بد: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۱۶Bad halting
بیت: جبر بول ۰۰۱-۰۰۴-۰۰۱/۲۲Bit
بدنه: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۱۵Body
جبر بول: جبر بول ۰۰۱-۰۰۴-۰۰۱/۰۲Boolean algebra
عبارت بولی: جبر بول ۰۰۱-۰۰۴-۰۰۱/۰۱Boolean expression
ساده گردانی عبارات بولی: جبر بول ۰۰۱-۰۰۴-۰۰۱/۰۴Booleans expression simplification
حلقه for: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۴۲Bounded loop
چرخه کراندار: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۴۱Bounded loop
کمینه ساز کراندار: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۴۵Bounded Minimalization
ضرب کراندار: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۳۸Bounded products
سور عمومی کراندار: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۵۱Bounded quantification
سور کراندار: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۵۰Bounded quantification
سور وجودی کراندار: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۵۲Bounded quantification
سور کراندار: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۱۱Bounded quantifier closure
جستجوی کراندار: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۵۳Bounded Search
جمع کراندار: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۳۷Bounded sum
حاصل جمع ضرب کراندار: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۴۹Bounded total of multiplication
بگونه بازگشتی نخستینی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۱۹By Primitive recursion
بایت: جبر بول ۰۰۱-۰۰۴-۰۰۱/۲۳Byte
c.e: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۱۱c.e.
تعریف و استدلال مبتنی بر مورد: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۴۲Case-based definition and reasoning
واحد مرکزی پردازش: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۴۱Central processing unit
تز چرچ: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۰۷Church’s Thesis
تز چرج-تورینگ: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۰۶Church–Turing thesis
کلاس الگوریتم‌ها: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۳۵Class of algorithms
کلاس توابع p.r: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۲۳Class of p.r functions
تحت '⊢' بسته: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۷۷Closed under ⊢
cmp.rl: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۱۵cmp.rl
CNF: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۴۵CNF
Co-c.e: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۱۰Co-c.e
دنباله‌های کد گذاری: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۵۷Coding sequences
مقابله: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۴۸Collation
حدس کولاتز: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۶۱Collatz conjecture
روند آزمون گمانه کولاتز: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۶۲Collatz's conjecture test procedure
مدارهای منطقی ترکیبی: جبر بول ۰۰۱-۰۰۴-۰۰۱/۱۷Combinational logic circuit
هم‌ارزی‌های بولی پرکاربرد: جبر بول ۰۰۱-۰۰۴-۰۰۱/۰۳Commonly used boolean equivalences
قضیه فشردگی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۸۲Compactness Theorem
مجموعه نمایه متمم: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۰۹Complement index set
قضیه متمم: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۱۳Complementation Theorem
تمام: فرامنطق ۰۰۱-۰۰۶-۰۰۱/۰۶Complete
تمامیت: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۲۱Completeness
تمامیت: فرامنطق ۰۰۱-۰۰۶-۰۰۱/۰۷Completeness
تمامیت و استواری: فرامنطق ۰۰۱-۰۰۶-۰۰۱/۰۸Completeness and soundness
فراقضیه تمامیت: فرامنطق ۰۰۱-۰۰۶-۰۰۱/۰۵Completeness Meta-theorem
قاعده ترکیب: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۱۴Composition rule
محاسبه‌پذیری: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۴۸Computability
رایانش‌پذیری: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۴۹Computability
رایانش‌پذیری و توابع بازگشتی-نخستینی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۵۹Computability and primitive recursive functions
محاسبه‌پذیر: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۵۲Computable
رایانش‌پذیر: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۵۱Computable
رایانش‌پذیر: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۲۴Computable
تابع رایانش‌پذیر: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۰۹Computable function
تابع رایانش‌پذیر: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۲۵Computable function
رابطه رایانش‌پذیر: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۲۰Computable relations
مجموعه رایانش‌پذیر: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۱۴Computable sets
رابطه رایانش‌پذیر برشمردنی: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۰۷Computably Enumerable Relations
مجموعه رایانش‌پذیر برشمردنی: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۰۹Computably Enumerable sets
رایانش: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۲۳Computing
رایانش: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۵۰Computing
نگاره: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۰۳Concept
نتیجه: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۳۳conclusion
نتیجه: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۴۱Conclusion
حذف شرطی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۱۰Conditional Elimination
معرفی شرطی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۵۱Conditional Introduction
معرفی شرطی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۱۵Conditional Introduction
معرفی شرطی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۲۰Conditional Introduction
تعمیم معرفی شرطی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۵۶Conditional introduction generalization
تفکیک شرطی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۶۸Conditional resolution
حذف عطفی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۱۱Conjunction Elimination
معرفی عطفی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۱۶Conjunction Introduction9s1
صورت نرمال فصلی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۴۷Conjunctive Normal Form
صورت نرمال عطفی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۴۴Conjunctive Normal Form
رابط‌: فرمول ۰۰۱-۰۰۷-۰۰۱/۰۹Connective
سطح الویت رابط‌‌: فرمول ۰۰۱-۰۰۷-۰۰۱/۳۶Connective priority level
سازگاری دستگاه NdPℓ: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۸۶Consistency of end system
دستگاه استنتاجی سازگار: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۷۴Consistent deductive system
دستگاه صوری سازگار: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۲۵Consistent formal system
مجموعه سازگار فرمول: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۷۲Consistent set of formulas
تابع ثابت: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۴۱Constant function
قواعد ساخت: فرمول ۰۰۱-۰۰۷-۰۰۱/۰۲Construction rules
تناقض: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۲۳Contradiction
تناقض: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۱۷Contradiction
صورت متناقض: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۲۴Contradiction
واحد کنترل: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۲۲Control unit
برگردانی به صورت نرمال: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۵۰Conversion to normal form
صحت الگوریتم: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۳۳Correctness of algorithm
شمارش مقسوم علیه: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۳۹Counting divisor
رابطه معیار در چرخه تکرار: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۴۵Criterion relation in while loop
چرخه: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۲۱Cycle
دیوید هیلبرت: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۰۳David Hilbert
تصمیم‌پذیری: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۱۲Decidability
تصمیم‌پذیری: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۵۹Decidability
تصمیم پذیری فرمول خوش-ساخت: فرمول ۰۰۱-۰۰۷-۰۰۱/۳۷Decidability of well-formed formula
هم‌ارزی↝ دو ماشین تورینگ: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۳۷Decidability two Turing Machines
تصمیم‌پذیر: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۶۰Decidable
تصمیم‌پذیر: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۰۱Decidable
مسئله‌ تصمیم‌پذیری: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۱۷Decidable Problem
رابطه تصمیم‌پذیر: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۱۹Decidable relations
مجموعه تصمیم‌پذیر: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۱۳Decidable sets
مسئله تصمیم‌ گیری: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۱۶Decision problem
تابع کاهش: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۲۹Decrease function
استنتاج: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۱۶Deduction
استنتاج: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۳۱Deduction
فراقضیه استنتاج: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۵۸Deduction theorem
نتیجه استنتاجی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۱۱Deductive Consequence
انفجار استنتاجی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۲۶Deductive explosion
دستگاه استنتاجی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۰۳Deductive system
دستگاه استنتاجی: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۰۷Deductive System
به گونه استنتاجی بسته: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۷۸Deductively closed
درجه تورینگ: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۱۰Degree (many-one)
درجه فرمول: فرمول ۰۰۱-۰۰۷-۰۰۱/۲۴Degree of formula
قضیه دمورگان: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۶۳Demorgan theorems
شمارایی مجموعه فرمول‌ها: فرمول ۰۰۱-۰۰۷-۰۰۱/۲۲Denumerability of formulas
قاعده دست-آوردنی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۵۰Derivable rule
قطعیت: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۳۴Determinism
قطعی: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۲۱Deterministic
قطعیت: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۳۰Deterministic algorithm
ماشین‌ تورینگ قطعی: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۳۲Deterministic Turing machine
تابع قطری: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۱۵Diagonal function
K: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۱۹Diagonal halting set
مجموعه توقف قطری: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۲۰Diagonal halting set
روش قطری: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۶۰Diagonalization method
روش قطری در اثبات وجود تابع کامل رایانش‌نا‌پذیر: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۱۶Diagonalization method in computation
روش نموداری نمایش ماشین تورینگ: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۲۳Diagrammatic method of Turing machine representation
قضیه دوگانگی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۶۶Dichotomy theorem
نتیجه مستقیم: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۰۵Direct conclusion
منطق گفتمانی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۳۱Discussive Logic
حذف فصلی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۱۲Disjunction Elimination
معرفی فصلی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۱۷Disjunction Introduction
قیاس فصلی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۶۹Disjunctive syllogism
پخش پذیری: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۷۰Distributive law
تابع تعداد مقسوم علیه‌ها: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۴۳Divisor counting function
DNF: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۴۸DNF
حذف نقض دو‌گانه: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۱۴Double Negation Elimination
دست آوردنی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۱۰Drivable
دست-آوردنی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۳۴Drivable
DTM: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۳۳DTM
NTM: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۳۶DTM
همزادی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۴۹Duality
نفی دوگانه: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۶۱Duble negation
کارآمدی استنتاج سمانتیکی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۳۷Effectiveness of semantical inference
الگوریتم کارساز: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۴۰Efficient algorithm
روند کارآمد: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۲۴Efficient procedure
قواعد حذفی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۰۸Elimination Rules
مدل مجموعه تهی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۱۶Empty set model
مسئله تصمیم‌پذیری: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۰۵Entscheidungsproblem
قضیه برشمارش: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۱۱Enumeration theorem
الگوریتم اقلیدس: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۳۶Euclid's algorithm
Ex Falso Quodlibet: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۲۹Ex Falso Quodlibe
واگردان: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۵۳Exportation theorem
تمامیت گویا‌گر: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۵۱Expressive Completeness
توان گویایی: فرامنطق ۰۰۱-۰۰۶-۰۰۱/۱۰Expressive power
نظریه‌های گسترشی: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۰۳Extensional theories
تابع فاکتوریل: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۳۵Factorial function
ماشین پایان دار: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۲۹Finite Machine
قضیه اول ناتمامیت: فرامنطق ۰۰۱-۰۰۶-۰۰۱/۱۲First Incompleteness theorem
مقدار نقطه برجا: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۱۷Fixed-point value
ƒPℓ: فرمول ۰۰۱-۰۰۷-۰۰۱/۱۲ƑLp
زبان صوری: فرمول ۰۰۱-۰۰۷-۰۰۱/۰۵Forma language
نتیجه صوری: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۳۲Formal conclusion
استنتاج صوری: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۳۸Formal Deduction
زبان صوری: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۰۱Formal Language
زبان صوری: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۰۱Formal Language
برهان صوری: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۳۵Formal proof
دستگاه صوری: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۰۳Formal System
دستگاه صوری: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۰۶Formal System
تئوری صوری: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۷۹Formal theory
قواعد ساخت: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۰۳Formation rules
دنباله پیکربندی: فرمول ۰۰۱-۰۰۷-۰۰۱/۱۶Formation sequence
درخت پیکربندی: فرمول ۰۰۱-۰۰۷-۰۰۱/۳۹Formation tree
درخت پیکربندی: فرمول ۰۰۱-۰۰۷-۰۰۱/۴۲Formation tree
طول فرمول: فرمول ۰۰۱-۰۰۷-۰۰۱/۳۰Formula length
مدل مجموعه فرمول: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۱۴Formulas set model
نظریه‌های بنیادی معنا: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۰۶Foundational theories of meaning
حلقه while: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۴۴Free loop
چرخه آزاد: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۴۳Free loop
چرخه: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۴۰Function iteration
زبان‌های تابعی: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۰۵Functional programming
تمامیت کارکردی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۵۲Functionally Completeness
شماره گذاری گودل: فرمول ۰۰۱-۰۰۷-۰۰۱/۲۳Godel Numbering
شمارگذاری گودل: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۵۸Gödel Numbering
شمار‌گذاری گودل: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۲۶Godel numbering in RG
حدس گلدباخ: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۶۳Goldbach Conjecture
توقف خوب: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۱۷Good halting
نمایش شماتیک ماشین‌های اندوختگاهی: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۱۸Graphical registers machines representation
مسئله توقف: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۱۶Halting Problem
مسئله توقف: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۲۵Halting problem
مسئله توقف: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۴۷Halting problem
K⚬: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۱۴Halting set
مجموعه توقف: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۱۵Halting set
سخت‌افزار: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۰۸Hardware
مسئله دهم هیلبرت: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۰۴Hilbert's tenth Problem
قیاس شرطی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۵۴Hypothetical Syllogism
I.C.G: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۵۷I.C.G
شناسایی درخت فراکافت: فرمول ۰۰۱-۰۰۷-۰۰۱/۴۱Identifying the parse tree
اینهمانی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۴۷Identity
ویژگی این‌همانی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۲۰Identity property
قضیه اینهمانی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۵۲Identity theorem
خاصیت این‌همانی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۲۱Idntity Property
زیرفرمول بی‌واسطه: فرمول ۰۰۱-۰۰۷-۰۰۱/۲۶Immediate subformula
نتیجه مهم سازگاری: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۷۶Important consequence of consistency
قضیه برگردان: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۶۰Importation theorem
قضیه ناتمامیت: فرامنطق ۰۰۱-۰۰۶-۰۰۱/۱۱Incompleteness theorem
ناسازگاری: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۱۱Inconsistency
دستگاه صوری ناسازگار: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۲۴Inconsistent formal system
مجموعه ناسازگار فرمول: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۷۳Inconsistent set of formulas
اندیس: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۱۰Index
مجموعه نمایه: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۱۲Index sets
نمایه‌سازی توابع رایانش‌پذیر جزئی: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۰۷Indexation of partial computable functions
برهان خلف: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۷۱Indirect proof of validity
استقرای طولی فرمول‌: فرمول ۰۰۱-۰۰۷-۰۰۱/۲۹Induction over length of formula
استقرای طولی فرمول‌: فرمول ۰۰۱-۰۰۷-۰۰۱/۳۱Induction over length of formula
قاعده استنتاج: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۰۹Inference rule
قاعده استنتاج: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۰۴Inference rule
ماشین بی‌پایان: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۳۰Infinite Machine
حالت آغازی: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۱۶Initial state
ورودی: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۰۹Input
تعبیر: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۱۵Interpretation
تعبیر: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۰۷Interpretation
تعبیر و فرامنطق در NdPℓ: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۸۵Interpretation and Metalogic in NdPℓ
قواعد معرفی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۰۹Introduction Rules
نامعتبر: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۲۱Invalid
صورت نامعتبر: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۲۲Invalid form
چرخه تکرار در الگوریتم: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۴۰Iteration in algorithm
نفی الزامی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۵۴Joint denial
پایگان (سلسله مراتب) پرشی مجموعه‌ها: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۱۷Jump hierarchy of sets
پایگان (سلسله مراتب) درجه‌های تورینگ: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۱۸Jump hierarchy of T-degrees
پایگان (سلسله مراتب) درجه‌های تورینگ: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۱۶Jump hierarchy of Turing-degrees
قضیه کلین-پست: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۱۹Kleene-Post Theorem
محمول T کلین: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۰۹Kleene's T predicate
L.E.M: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۶۷L.E.M
برچسب: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۱۴Label
حساب لامبدا: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۰۲Lambda calculus
دستگاه حساب لامبدا: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۵۶Lambda calculus
حافظه خطی: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۱۰Linear memory
لیترال: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۴۲Literal
مدار منطقی اکثریت: جبر بول ۰۰۱-۰۰۴-۰۰۱/۱۶Logic circuit of majority
مدارهای منطقی: جبر بول ۰۰۱-۰۰۴-۰۰۱/۰۷Logic circuits
مدار منطقی: جبر بول ۰۰۱-۰۰۴-۰۰۱/۱۵Logic circuits
گذرگاه‌های منطقی: جبر بول ۰۰۱-۰۰۴-۰۰۱/۰۶Logic gates
فیزیک گذرگاه‌های منطقی: جبر بول ۰۰۱-۰۰۴-۰۰۱/۲۱Logic gates Physics
گذرگاه‌های منطق: جبر بول ۰۰۱-۰۰۴-۰۰۱/۱۴Logic gates9s0
رابط‌های منطقی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۰۸Logical connectives
نتیجه منطقی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۳۱Logical consequence
ثابت‌های منطقی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۰۹Logical Constants
هم‌ارزی منطقی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۳۶Logical Equivalence
هم‌ارز منطقی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۳۴Logical equivalence
دروازه‌ منطقی: جبر بول ۰۰۱-۰۰۴-۰۰۱/۰۸Logical gate
استلزام منطقی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۲۸Logical implication
صدق منطقی: فرامنطق ۰۰۱-۰۰۶-۰۰۱/۰۹Logical Truth
واژگان منطقی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۱۱Logical Vocabulary
منطقاً مستلزم: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۳۰Logically implies
به‌طور معنایی سازگار: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۲۷logically_consistent99s1
Pℓ: فرمول ۰۰۱-۰۰۷-۰۰۱/۰۶LP
رابط اصلی فرمول: فرمول ۰۰۱-۰۰۷-۰۰۱/۳۵Main connective
مجموعه کامل (چند-یک): تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۳۲Many-one complete
کامل تورینگ: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۰۶Many-one complete
درجه چند-یک: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۲۷Many-one Degree
هم‌ارز چند-یک: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۲۵Many-one equivalent
درجه نگاشتی: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۲۹Mapping Degree
پایگان درجه‌های تورینگ: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۲۰Mapping degrees and Turing degrees
کاهش‌پذیری نگاشتی: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۲۴Mapping Reducibility
سازگاری بیشینه: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۸۴Maximal consistency
سازگار بیشینه: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۸۳Maximally consistent
توابع بیشینه و کمینه: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۳۶Maximum and minimum function
T-Complete: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۰۷M-Complete
degt: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۱۲m-deg)
degm: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۲۸m-deg)
روند مکانیکی: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۳۴Mechanical procedure
استنتاج عضوی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۴۶Membership deduction
حافظه: جبر بول ۰۰۱-۰۰۴-۰۰۱/۲۴Memory
حافظه: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۴۰Memory
کارکرد حافظه: جبر بول ۰۰۱-۰۰۴-۰۰۱/۲۵Memory function
ساخت‌کار حافظه: جبر بول ۰۰۱-۰۰۴-۰۰۱/۲۶Memory mechanism
نوار حافظه: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۱۱Memory tape
نوار: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۱۲Memory tape
فرازبان: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۱۸Metalanguage
فرازبان: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۱۲Meta-language
فرامنطق: فرامنطق ۰۰۱-۰۰۶-۰۰۱/۰۱MetaLogic
فرامنطق: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۱۹Metalogic
فراقضیه: فرامنطق ۰۰۱-۰۰۶-۰۰۱/۰۲Metatheorem
فرا-متغیر: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۱۴Metavariable
عملگر کمینه‌ساز: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۴۸Minimalization operator
مدل: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۱۳Model
مدل: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۱۶Model
مدل رایانش: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۵۷Model of computation
مدل: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۱۵Model of wff set
نظریه بر مبنای مدل: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۱۴Model Theoretic Approach
نظریه مدل: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۰۱Model Theory
نظریه مدل: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۱۳Model theory
نظریه مبتنی بر مدل: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۰۲Model-Theoretic
معناشناختی مبتنی بر مدل: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۰۳Model-theoretic semantics
قیاس اقترانی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۶۴Modus tollens
منطق یکنوا: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۴۳Monotonic logic
یکنوایی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۴۲Monotonicity
NAND: جبر بول ۰۰۱-۰۰۴-۰۰۱/۱۲NAND Gate
استنتاج طبیعی: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۰۶Natural Deduction
دستگاه استنتاج طبیعی NdPℓ: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۰۲NdPℓ natural deduction system
حذف نقیض: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۱۳Negation Elimination
معرفی نقیض: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۱۸Negation Introduction
دستگاه‌های نا-پیوستی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۳۲Non-Adjunctive Systems
فرمول غیر اتمی: فرمول ۰۰۱-۰۰۷-۰۰۱/۲۱Non-atomic formula
الگوریتم غیر-قطعی: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۳۱Nondeterministic algorithm
ماشین‌ تورینگ غیر-قطعی: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۳۵Nondeterministic Turing machine
نظریه‌های ناگسترشی: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۰۴Non-extensional theories
واژگان نامنطقی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۱۲Non-Logical Vocabulary
منطق نا یکنوا: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۴۴Non-monotonic logic
مجموعه نمایه نابدیهی: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۱۳Non-trivial index set
NOR: جبر بول ۰۰۱-۰۰۴-۰۰۱/۱۳NOR Gate
قضیه صورت نرمال: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۰۸Normal Form Theorem
صورت‌های نرمال: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۴۱Normal forms
NOT: جبر بول ۰۰۱-۰۰۴-۰۰۱/۱۱NOT Gate
مسئله‌های NP: جبر بول ۰۰۱-۰۰۴-۰۰۱/۰۵NP problems
زبان موضوع: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۱۳Object language
زبان شاهد: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۱۰Observer's language
زبان ناظر: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۱۱Observer's language
کنترل حافظه یک بیتی: جبر بول ۰۰۱-۰۰۴-۰۰۱/۲۷One-bit memory control
OR: جبر بول ۰۰۱-۰۰۴-۰۰۱/۱۰OR Gate
اوراکل: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۰۱Oracle
𝒪(B): ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۰۲Oracle
ماشین تورینگ اوراکل: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۰۳Oracle turing machine
p.r: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۲۲p.r
منطق‌های فراسازگار: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۳۰Paraconsistent logics
قضیه پارامتر: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۰۳Parameter theorem
قضیه پارامتر: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۰۲Parameter theorem
درخت فراکافت: فرمول ۰۰۱-۰۰۷-۰۰۱/۴۰Parse tree
رایانش‌پذیری جزئی: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۰۱Partial computability
تابع رایانش‌پذیر جزئی: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۰۴Partial computable function
توابع رایانش پذیر جزئی: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۲۲Partial computable Functions
بازگشتی جزئی: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۰۲Partial recursive
تابع بازگشتی جزئی: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۰۳Partial recursive function
نیمی-تصمیم‌پذیر: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۶۴Partially decidable
فیزیک مدار منطقی: جبر بول ۰۰۱-۰۰۴-۰۰۱/۱۸Physics of logic circuit
کارآمدی چندجمله‌ای: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۳۸Polynomial Efficiency
تابع توان: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۳۴Power function
توان nامین فاکتور اول در تجزیه: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۵۶Power of Nth prime factor
pr.rl: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۱۸Pr.rl
تابع پیشین: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۳۰Predecessor function
مقدمه: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۳۹Premise
مقدمات: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۴۰Premises
مقدمات: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۰۶Premises
مقدمان استنتاج: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۱۸Premises of deduction
nامین عدد اول: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۵۵Primeness function
تابع اول بودن: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۴۴Primeness function
رابط‌های ابتدایی: فرمول ۰۰۱-۰۰۷-۰۰۱/۱۰Primitive connective
قواعد استنتاج آغازین: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۰۷Primitive inference rules
توابع پیشینی بازگشتی-نخستینی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۱۰Primitive recursive a priori functions
توابع پیشینی بازگشتی-نخستینی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۰۸Primitive recursive a priori functions
رابطه تصمیم پذیر بازگشتی-نخستینی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۲۸Primitive recursive decidable relations
مجموعه تصمیم پذیر بازگشتی-نخستینی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۲۶Primitive recursive decidable sets
تابع بازگشتی-نخستینی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۰۱Primitive recursive function
تابع بازگشتی-نخستینی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۲۱Primitive recursive function
رابطه بازگشتی-نخستینی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۲۷Primitive recursive relations
قاعده بازگشتی-نخستینی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۱۷Primitive recursive rule
مجموعه بازگشتی-نخستینی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۲۵Primitive recursive sets
واژگان ابتدایی: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۰۲Primitive vocabulary
واژگان ابتدایی: فرمول ۰۰۱-۰۰۷-۰۰۱/۰۷Primitive vocabulary
اصل انفجار: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۲۷Principle of explosion
اصل سرریز: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۲۸Principle of explosion
مورد پرسش: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۱۷Problem Instance
روند: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۲۳Process
برنامه نویسی ماشین‌های اندوختگانی: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۱۹Programming of register machines
تابع افکنش: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۱۳Projection function
برهان: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۱۷Proof
برهان: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۱۹Proof
برهان: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۰۹Proof
نظریه بر مبنای برهان: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۰۴Proof Theoretic Approach
نظریه برهان: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۰۵Proof theory
نظریه برهان: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۰۵Proof Theory
نظریه برهان: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۰۱Proof theory
نتیجه برهانی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۱۲Proof-theoretic Consequence
معناشناختی مبتنی بر نظریه برهان: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۰۶Proof-theoretic semantics
ویژگی‌های الگوریتم: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۲۹Properties_of_algorithm
اثبات شدنی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۳۵Provable
صورت فصلی سره: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۴۳Pure conjunctive form
صورت عطفی سره: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۴۶Pure conjunctive form
رتبه فرمول: فرمول ۰۰۱-۰۰۷-۰۰۱/۳۲Rank of formula
کلاهک خواندن / نوشتن: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۱۳Read / write head
شناسنده: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۰۳Recognizer
قضیه بازگشت: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۱۶Recursion Theorem
تعریف بازگشتی صورت: فرمول ۰۰۱-۰۰۷-۰۰۱/۱۴Recursive definition of form
تابع بازگشتی: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۰۷Recursive functions
پارامترهای بازگشتی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۲۰Recursive parameters
رابطه بازگشتی: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۱۸Recursive relation
مجموعه بازگشتی: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۱۲Recursive sets
مجموعه بازگشتی برشمردنی: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۱۰Recursively Enumerable sets
رابطه بازگشتی برشمردنی: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۰۸Recursively Enumerable sets
کاهش‌پذیری: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۲۲Reducibility
روش کاهش: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۳۰Reduction method
رجیستر: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۱۱Register
انباره: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۱۰Register
ماشین‌های اندوختگانی: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۰۷Register Machine
ماشین‌های اندوختگانی: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۵۳Register machine
پیکربندی ماشین اندوختگانی: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۲۰Register machine configuration
رایانش‌پذیری نسبی: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۲۱Relative computability
سختی نسبی: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۰۶Relative difficulty
یادآوری نه قاعده استنتاج: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۰۷Reminder of 9 rules
قضیه رایس: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۰۴Rice's theorem
قضیه رایس: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۰۵Rice's theorem
RM: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۱۲RM
قاعده برهان شرطی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۳۳Rule of Conditional Proof
قاعده جایگزینی نحوی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۲۳Rule of syntacticall replacement
قواعد استنتاج: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۰۸Rules of Inference
منطقاً سازگار: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۲۶Satisfiable
صدق پذیر: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۲۵Satisfiable
فرمول شماتیک: فرمول ۰۰۱-۰۰۷-۰۰۱/۱۹Schematic formula
عملگر جستجو: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۵۴Search operator
قضیه دوم ناتمامیت: فرامنطق ۰۰۱-۰۰۶-۰۰۱/۱۳Second Incompleteness theorem
انتخاب: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۴۶Selection
نظریه‌های سمانتیکی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۰۵Semantic theories
مقدار سمانتیکی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۰۲Semantic Value
مقدار معنایی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۰۱Semantic Value
استنتاج معتبر سمانتیکی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۳۲Semantically valid inference
استنتاج سمانتیکی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۳۳Semantics Inference
نیمه رسانا‌ها: جبر بول ۰۰۱-۰۰۴-۰۰۱/۱۹Semiconductors
نیمی-تصمیم‌پذیر: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۰۲Semi-Decidable
رابط جمله گانی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۱۰Sentential Connective
توالی: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۳۷Sequence
توالی: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۳۸Sequence
یادگیری دنباله‌ای: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۳۹Sequence learning
مدارهای ترتیبی: جبر بول ۰۰۱-۰۰۴-۰۰۱/۲۹Sequential Circuit
مدارهای ترتیبی: جبر بول ۰۰۱-۰۰۴-۰۰۱/۲۸Sequential Circuit
مجموعه حالت‌ها: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۱۴Set of states
تابع علامت: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۳۳Sign function
ساده گردان: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۵۵Simplification
قضیه s-m-n: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۰۱S-m-n theorem
نرم‌افزار: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۰۹Software
استوار: فرامنطق ۰۰۱-۰۰۶-۰۰۱/۰۴Sound
استواری: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۲۰Soundness
استواری و تمامیت: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۲۲Soundness and Completness
فراقضیه استواری: فرامنطق ۰۰۱-۰۰۶-۰۰۱/۰۳Soundness Meta-theorem
نمادهای ویژه: فرمول ۰۰۱-۰۰۷-۰۰۱/۱۱Special symbols
حالتی: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۰۲State
حالت: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۰۴State
ایستانه: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۰۵State
حالت‌ها: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۱۵State
حالت و قاعده گذار: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۰۳State and transition rule
ماشین گذار حالت: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۲۹State transition machine
نمودار حالت: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۲۸States diagram
برنامه ذخیره شده: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۳۹Stored-program
استقرای ساختاری: فرمول ۰۰۱-۰۰۷-۰۰۱/۲۸Structural induction
زیرفرمول: فرمول ۰۰۱-۰۰۷-۰۰۱/۲۵Subformula
تابع جانشینی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۱۶Substitution function
تابع تالی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۱۲Successor function
نتیجه نحوی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۱۳Syntactic Consequence
اشتقاق نحوی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۰۴Syntactic derivation
قواعد اشتقاق نحوی: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۰۸Syntactic derivation rules
قاعده استنتاج نحوی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۰۸Syntactic inference rule
دستگاه نحوی: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۰۵Syntactic System
هم‌ارزی نحوی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۲۲Syntactical Equivalence
برهان نحوی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۳۶Syntactical proof
متغیر نحوی: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۱۵Syntactical Variable
متغیرهای فرازبانی: فرمول ۰۰۱-۰۰۷-۰۰۱/۱۳Syntactical variables
استنتاج معتبر نحوی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۱۵Syntactically Valid Inference
قواعد نگارش صورت: فرمول ۰۰۱-۰۰۷-۰۰۱/۰۳Syntax of formal language
نحو زبان صوری: فرمول ۰۰۱-۰۰۷-۰۰۱/۰۴Syntax of formal language
نحو زبان: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۰۴Syntax of language
قواعد نگارش: فرمول ۰۰۱-۰۰۷-۰۰۱/۱۵Syntax rules
قواعد نحوی: فرمول ۰۰۱-۰۰۷-۰۰۱/۰۱Syntax rules
دستگاه توابع بازگشتی-نخستینی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۰۹System of Primitive Recursive Functions
صورت توتولوژیک: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۱۸Tautological form
استلزام توتولوژیک: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۳۵Tautological Implication
توتولوژی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۱۷Tautology
حالت پایانی: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۱۷Terminal state
پایان پذیری الگوریتم: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۳۲Termination of the algorithm
پرش nام تورینگ: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۱۵The nth Turing jump
قضیه: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۱۰Theorem
قضیه: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۴۹Theorem
قضیه: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۳۴Theorem
قضیه و استنتاج: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۵۹Theorem and deduction
نظریه‌های معنا: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۰۴Theories of Meaning
تئوری: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۸۰Theory
نظریه: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۸۱Theory
دستگاه توابع بازگشتی: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۵۴Theory of recursion functions
نظریه توابع بازگشتی: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۰۱Theory of recursive functions
پیچیدگی زمانی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۳۹Time complexity
تابع بازگشتی کامل: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۰۸Total Recursive functions
ترانزیستور: جبر بول ۰۰۱-۰۰۴-۰۰۱/۲۰Transistor
تابع گذار: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۲۶Transition function
قواعده گذار: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۱۸Transition rule
قاعده گذار: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۰۶Transition rule
قواعد گذار: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۰۱Transition rule
ترایایی استنتاج: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۴۵Transitivity of deduction
تبدیل: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۶۵Transmutation
ترانهش: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۶۲Transposition
T-کاهش‌پذیر: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۰۵T-reducible
مجموعه نمایه بدیهی: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۱۴Trivial index set
تابع تفریق کوتاه شده: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۳۱Truncated subtraction function
هم‌ارز تورینگ: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۰۸Turing equivalent
تابع گذار: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۲۰Turing function
پرش تورینگ: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۱۳Turing jump
نگاشت پرش تورینگ: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۱۴Turing jump mapping
ماشین تورینگ: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۰۷Turing machine
ماشین تورینگ و حل مسئله: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۲۴Turing machine and problem solving
ساختار ماشین تورینگ: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۰۸Turing machine structure
جدول گذار ماشین تورینگ: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۲۷Turing machine Transition table
ماشین‌های تورینگ: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۲۷Turing Machines
ماشین‌های تورینگ: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۰۶Turing Machines
ماشین‌های تورینگ: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۵۵Turing machines
دنباله ماشین‌های تورینگ: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۲۸Turing machines sequence
برنامه تورینگ: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۱۹Turing program
کاهش پذیر تورینگ: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۰۴Turing reducible
درجه حل‌ناشدنی: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۱۱turng_degree9s1
کمینه سازی بی‌کران: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۰۴Unbounded Minimalization
عملگر کمینه‌ساز بیکران - μ: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۰۵Unbounded minimization operator
تابع رایانش‌ناپذیر: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۱۰Uncomputable Function
مسئله تصمیم‌ ناپذیری: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۱۸Undecidability Problem
تصمیم ناپذیر: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۰۵Undecidable
مجموعه تصمیم‌ناپذیر: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۱۵Undecidable set
خوانش یکتای فرمول: فرمول ۰۰۱-۰۰۷-۰۰۱/۲۷Unique reading of formula
تابع جهانی: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۱۸Universal function
ماشین جهانی: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۲۰Universal Machine
برنامه جهانی: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۱۹Universal program
ماشین اندوختگانی جهانی: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۱۷Universal register machine
UTM: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۳۱Universal Turing machine
ماشین تورینگ جهانی: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۳۰Universal Turing machine
اثبات نشدنی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۳۶Unprovable
URM: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۱۳URM
معتبر: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۲۰Valid
صورت معتبر: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۱۹Valid form
کامپیوترهای فون نویمانی: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۳۸Von Neumann computers
Wff: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۱۶Well-Formed Formula
فرمول‌ خوش-ساخت: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۱۷Well-Formed Formula
فرمول خوش-ساخت: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۰۲Well-Formed Formula
فرمول خوش-ساخت: فرمول ۰۰۱-۰۰۷-۰۰۱/۱۷Well-Formed Formula
الگوریتمِ تصمیم پذیری فرمول: فرمول ۰۰۱-۰۰۷-۰۰۱/۳۸Well-formed formula decision algorithm
wff: فرمول ۰۰۱-۰۰۷-۰۰۱/۱۸wff
Wn: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۱۲Wx
تابع صفر: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۱۱Zero function
μ: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۴۷Μ
μRc: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۰۶μRc
تابع μ-بازگشتی: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۰۵Μ-recursive functions
μ: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۰۶Μue
Π۱: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۱۱Π۱
Π۲: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۱۳Π۲
Σ۱: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۰۸Σ۱
Σ۲: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۱۲Σ2
معادلات بازگشتی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۲۴معادلات بازگشتی
زبان صوری: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۰۱۰۰۰1Formal Language
فرمول خوش-ساخت: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۰۲۰۰۰2Well-Formed Formula
دستگاه صوری: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۰۳۰۰۰3Formal System
نظریه بر مبنای برهان: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۰۴۰۰۰4Proof Theoretic Approach
نظریه برهان: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۰۵۰۰۰5Proof Theory
استنتاج طبیعی: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۰۶۰۰۰6Natural Deduction
دستگاه اصل موضوعی: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۰۷۰۰۰7Axiomatic system
قواعد استنتاج: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۰۸۰۰۰8Rules of Inference
برهان: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۰۹۰۰۰9Proof
قضیه: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۱۰۰۰10Theorem
ناسازگاری: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۱۱۰۰11Inconsistency
تصمیم‌پذیری: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۱۲۰۰12Decidability
نظریه مدل: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۱۳۰۰13Model theory
نظریه بر مبنای مدل: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۱۴۰۰14Model Theoretic Approach
تعبیر: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۱۵۰۰15Interpretation
مدل: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۱۶۰۰16Model
تناقض: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۱۷۰۰17Contradiction
فرازبان: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۱۸۰۰18Metalanguage
فرامنطق: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۱۹۰۰19Metalogic
استواری: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۲۰۰۰20Soundness
تمامیت: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۲۱۰۰21Completeness
استواری و تمامیت: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۲۲۰۰22Soundness and Completness
روند: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۲۳۰۰23Process
روند کارآمد: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۲۴۰۰24Efficient procedure
الگوریتم: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۲۵۰۰25Algorithm
بطور الگوریتمیک قابل محاسبه: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۲۶۰۰26Algorithmically computable
بطور کارآمد قابل محاسبه: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۲۷۰۰27Algorithmically computable
محاسبه پذیر: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۲۸۰۰28Algorithmically computable
ویژگی‌های الگوریتم: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۲۹۰۰29Properties_of_algorithm
قطعیت: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۳۰۰۰30Deterministic algorithm
الگوریتم غیر-قطعی: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۳۱۰۰31Nondeterministic algorithm
پایان پذیری الگوریتم: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۳۲۰۰32Termination of the algorithm
صحت الگوریتم: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۳۳۰۰33Correctness of algorithm
روند مکانیکی: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۳۴۰۰34Mechanical procedure
کلاس الگوریتم‌ها: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۳۵۰۰35Class of algorithms
الگوریتم اقلیدس: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۳۶۰۰36Euclid's algorithm
توالی: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۳۷۰۰37Sequence
توالی: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۳۸۰۰38Sequence
یادگیری دنباله‌ای: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۳۹۰۰39Sequence learning
چرخه تکرار در الگوریتم: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۴۰۰۰40Iteration in algorithm
چرخه کراندار: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۴۱۰۰41Bounded loop
حلقه for: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۴۲۰۰42Bounded loop
چرخه آزاد: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۴۳۰۰43Free loop
حلقه while: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۴۴۰۰44Free loop
رابطه معیار در چرخه تکرار: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۴۵۰۰45Criterion relation in while loop
انتخاب: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۴۶۰۰46Selection
مسئله توقف: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۴۷۰۰47Halting problem
محاسبه‌پذیری: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۴۸۰۰48Computability
رایانش‌پذیری: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۴۹۰۰49Computability
رایانش: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۵۰۰۰50Computing
رایانش‌پذیر: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۵۱۰۰51Computable
محاسبه‌پذیر: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۵۲۰۰52Computable
ماشین‌های اندوختگانی: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۵۳۰۰53Register machine
دستگاه توابع بازگشتی: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۵۴۰۰54Theory of recursion functions
ماشین‌های تورینگ: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۵۵۰۰55Turing machines
دستگاه حساب لامبدا: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۵۶۰۰56Lambda calculus
مدل رایانش: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۵۷۰۰57Model of computation
ماشین انتزاعی: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۵۸۰۰58Abstract machine
تصمیم‌پذیری: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۵۹۰۰59Decidability
تصمیم‌پذیر: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۶۰۰۰60Decidable
حدس کولاتز: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۶۱۰۰61Collatz conjecture
روند آزمون گمانه کولاتز: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۶۲۰۰62Collatz's conjecture test procedure
حدس گلدباخ: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۶۳۰۰63Goldbach Conjecture
نیمی-تصمیم‌پذیر: روندمنطق ۰۰۱-۰۰۱-۰۰۱/۶۴۰۰64Partially decidable
زبان صوری: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۰۱۰۰65Formal Language
واژگان ابتدایی: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۰۲۰۰66Primitive vocabulary
قواعد ساخت: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۰۳۰۰67Formation rules
نحو زبان: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۰۴۰۰68Syntax of language
دستگاه نحوی: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۰۵۰۰69Syntactic System
دستگاه صوری: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۰۶۰۰70Formal System
دستگاه استنتاجی: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۰۷۰۰71Deductive System
قواعد اشتقاق نحوی: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۰۸۰۰72Syntactic derivation rules
اتم: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۰۹۰۰73Atom
زبان شاهد: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۱۰۰۰74Observer's language
زبان ناظر: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۱۱۰۰75Observer's language
فرازبان: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۱۲۰۰76Meta-language
زبان موضوع: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۱۳۰۰77Object language
فرا-متغیر: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۱۴۰۰78Metavariable
متغیر نحوی: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۱۵۰۰79Syntactical Variable
Wff: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۱۶۰۰80Well-Formed Formula
فرمول‌ خوش-ساخت: زبان و فرازبان ۰۰۱-۰۰۲-۰۰۱/۱۷۰۰81Well-Formed Formula
مقدار معنایی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۰۱۰۰82Semantic Value
مقدار سمانتیکی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۰۲۰۰83Semantic Value
نگاره: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۰۳۰۰84Concept
نظریه‌های معنا: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۰۴۰۰85Theories of Meaning
نظریه‌های سمانتیکی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۰۵۰۰86Semantic theories
نظریه‌های بنیادی معنا: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۰۶۰۰87Foundational theories of meaning
تعبیر: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۰۷۰۰88Interpretation
رابط‌های منطقی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۰۸۰۰89Logical connectives
ثابت‌های منطقی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۰۹۰۰90Logical Constants
رابط جمله گانی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۱۰۰۰91Sentential Connective
واژگان منطقی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۱۱۰۰92Logical Vocabulary
واژگان نامنطقی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۱۲۰۰93Non-Logical Vocabulary
مدل: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۱۳۰۰94Model
مدل مجموعه فرمول: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۱۴۰۰95Formulas set model
مدل: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۱۵۰۰96Model of wff set
مدل مجموعه تهی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۱۶۰۰97Empty set model
توتولوژی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۱۷۰۰98Tautology
صورت توتولوژیک: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۱۸۰۰99Tautological form
صورت معتبر: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۱۹۰100Valid form
معتبر: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۲۰۰101Valid
نامعتبر: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۲۱۰102Invalid
صورت نامعتبر: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۲۲۰103Invalid form
تناقض: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۲۳۰104Contradiction
صورت متناقض: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۲۴۰105Contradiction
صدق پذیر: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۲۵۰106Satisfiable
منطقاً سازگار: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۲۶۰107Satisfiable
به‌طور معنایی سازگار: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۲۷۰108logically_consistent99s1
استلزام منطقی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۲۸۰109Logical implication
⊩: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۲۹۰110
منطقاً مستلزم: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۳۰۰111Logically implies
نتیجه منطقی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۳۱۰112Logical consequence
استنتاج معتبر سمانتیکی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۳۲۰113Semantically valid inference
استنتاج سمانتیکی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۳۳۰114Semantics Inference
هم‌ارز منطقی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۳۴۰115Logical equivalence
استلزام توتولوژیک: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۳۵۰116Tautological Implication
هم‌ارزی منطقی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۳۶۰117Logical Equivalence
کارآمدی استنتاج سمانتیکی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۳۷۰118Effectiveness of semantical inference
کارآمدی چندجمله‌ای: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۳۸۰119Polynomial Efficiency
پیچیدگی زمانی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۳۹۰120Time complexity
الگوریتم کارساز: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۴۰۰121Efficient algorithm
صورت‌های نرمال: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۴۱۰122Normal forms
لیترال: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۴۲۰123Literal
صورت فصلی سره: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۴۳۰124Pure conjunctive form
صورت نرمال عطفی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۴۴۰125Conjunctive Normal Form
CNF: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۴۵۰126CNF
صورت عطفی سره: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۴۶۰127Pure conjunctive form
صورت نرمال فصلی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۴۷۰128Conjunctive Normal Form
DNF: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۴۸۰129DNF
همزادی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۴۹۰130Duality
برگردانی به صورت نرمال: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۵۰۰131Conversion to normal form
تمامیت گویا‌گر: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۵۱۰132Expressive Completeness
تمامیت کارکردی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۵۲۰133Functionally Completeness
↓: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۵۳۰134
نفی الزامی: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۵۴۰135Joint denial
↑: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۵۵۰136
نفی اختیاری: صورت و معنی ۰۰۱-۰۰۳-۰۰۱/۵۶۰137Alternative Denial
عبارت بولی: جبر بول ۰۰۱-۰۰۴-۰۰۱/۰۱۰138Boolean expression
جبر بول: جبر بول ۰۰۱-۰۰۴-۰۰۱/۰۲۰139Boolean algebra
هم‌ارزی‌های بولی پرکاربرد: جبر بول ۰۰۱-۰۰۴-۰۰۱/۰۳۰140Commonly used boolean equivalences
ساده گردانی عبارات بولی: جبر بول ۰۰۱-۰۰۴-۰۰۱/۰۴۰141Booleans expression simplification
مسئله‌های NP: جبر بول ۰۰۱-۰۰۴-۰۰۱/۰۵۰142NP problems
گذرگاه‌های منطقی: جبر بول ۰۰۱-۰۰۴-۰۰۱/۰۶۰143Logic gates
مدارهای منطقی: جبر بول ۰۰۱-۰۰۴-۰۰۱/۰۷۰144Logic circuits
دروازه‌ منطقی: جبر بول ۰۰۱-۰۰۴-۰۰۱/۰۸۰145Logical gate
AND: جبر بول ۰۰۱-۰۰۴-۰۰۱/۰۹۰146AND Gate
OR: جبر بول ۰۰۱-۰۰۴-۰۰۱/۱۰۰147OR Gate
NOT: جبر بول ۰۰۱-۰۰۴-۰۰۱/۱۱۰148NOT Gate
NAND: جبر بول ۰۰۱-۰۰۴-۰۰۱/۱۲۰149NAND Gate
NOR: جبر بول ۰۰۱-۰۰۴-۰۰۱/۱۳۰150NOR Gate
گذرگاه‌های منطق: جبر بول ۰۰۱-۰۰۴-۰۰۱/۱۴۰151Logic gates9s0
مدار منطقی: جبر بول ۰۰۱-۰۰۴-۰۰۱/۱۵۰152Logic circuits
مدار منطقی اکثریت: جبر بول ۰۰۱-۰۰۴-۰۰۱/۱۶۰153Logic circuit of majority
مدارهای منطقی ترکیبی: جبر بول ۰۰۱-۰۰۴-۰۰۱/۱۷۰154Combinational logic circuit
فیزیک مدار منطقی: جبر بول ۰۰۱-۰۰۴-۰۰۱/۱۸۰155Physics of logic circuit
نیمه رسانا‌ها: جبر بول ۰۰۱-۰۰۴-۰۰۱/۱۹۰156Semiconductors
ترانزیستور: جبر بول ۰۰۱-۰۰۴-۰۰۱/۲۰۰157Transistor
فیزیک گذرگاه‌های منطقی: جبر بول ۰۰۱-۰۰۴-۰۰۱/۲۱۰158Logic gates Physics
بیت: جبر بول ۰۰۱-۰۰۴-۰۰۱/۲۲۰159Bit
بایت: جبر بول ۰۰۱-۰۰۴-۰۰۱/۲۳۰160Byte
حافظه: جبر بول ۰۰۱-۰۰۴-۰۰۱/۲۴۰161Memory
کارکرد حافظه: جبر بول ۰۰۱-۰۰۴-۰۰۱/۲۵۰162Memory function
ساخت‌کار حافظه: جبر بول ۰۰۱-۰۰۴-۰۰۱/۲۶۰163Memory mechanism
کنترل حافظه یک بیتی: جبر بول ۰۰۱-۰۰۴-۰۰۱/۲۷۰164One-bit memory control
مدارهای ترتیبی: جبر بول ۰۰۱-۰۰۴-۰۰۱/۲۸۰165Sequential Circuit
مدارهای ترتیبی: جبر بول ۰۰۱-۰۰۴-۰۰۱/۲۹۰166Sequential Circuit
نظریه مدل: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۰۱۰167Model Theory
نظریه مبتنی بر مدل: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۰۲۰168Model-Theoretic
معناشناختی مبتنی بر مدل: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۰۳۰169Model-theoretic semantics
اشتقاق نحوی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۰۴۰170Syntactic derivation
نظریه برهان: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۰۵۰171Proof theory
معناشناختی مبتنی بر نظریه برهان: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۰۶۰172Proof-theoretic semantics
یادآوری نه قاعده استنتاج: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۰۷۰173Reminder of 9 rules
قاعده استنتاج نحوی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۰۸۰174Syntactic inference rule
قاعده استنتاج: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۰۹۰175Inference rule
دست آوردنی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۱۰۰176Drivable
نتیجه استنتاجی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۱۱۰177Deductive Consequence
نتیجه برهانی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۱۲۰178Proof-theoretic Consequence
نتیجه نحوی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۱۳۰179Syntactic Consequence
⊢: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۱۴۰180
استنتاج معتبر نحوی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۱۵۰181Syntactically Valid Inference
استنتاج: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۱۶۰182Deduction
برهان: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۱۷۰183Proof
مقدمان استنتاج: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۱۸۰184Premises of deduction
برهان: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۱۹۰185Proof
ویژگی این‌همانی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۲۰۰186Identity property
خاصیت این‌همانی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۲۱۰187Idntity Property
هم‌ارزی نحوی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۲۲۰188Syntactical Equivalence
قاعده جایگزینی نحوی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۲۳۰189Rule of syntacticall replacement
دستگاه صوری ناسازگار: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۲۴۰190Inconsistent formal system
دستگاه صوری سازگار: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۲۵۰191Consistent formal system
انفجار استنتاجی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۲۶۰192Deductive explosion
اصل انفجار: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۲۷۰193Principle of explosion
اصل سرریز: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۲۸۰194Principle of explosion
Ex Falso Quodlibet: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۲۹۰195Ex Falso Quodlibe
منطق‌های فراسازگار: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۳۰۰196Paraconsistent logics
منطق گفتمانی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۳۱۰197Discussive Logic
دستگاه‌های نا-پیوستی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۳۲۰198Non-Adjunctive Systems
قاعده برهان شرطی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۳۳۰199Rule of Conditional Proof
قضیه: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۳۴۰200Theorem
اثبات شدنی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۳۵۰201Provable
اثبات نشدنی: مقدمات برهان ۰۰۱-۰۰۵-۰۰۱/۳۶۰202Unprovable
فرامنطق: فرامنطق ۰۰۱-۰۰۶-۰۰۱/۰۱۰203MetaLogic
فراقضیه: فرامنطق ۰۰۱-۰۰۶-۰۰۱/۰۲۰204Metatheorem
فراقضیه استواری: فرامنطق ۰۰۱-۰۰۶-۰۰۱/۰۳۰205Soundness Meta-theorem
استوار: فرامنطق ۰۰۱-۰۰۶-۰۰۱/۰۴۰206Sound
فراقضیه تمامیت: فرامنطق ۰۰۱-۰۰۶-۰۰۱/۰۵۰207Completeness Meta-theorem
تمام: فرامنطق ۰۰۱-۰۰۶-۰۰۱/۰۶۰208Complete
تمامیت: فرامنطق ۰۰۱-۰۰۶-۰۰۱/۰۷۰209Completeness
تمامیت و استواری: فرامنطق ۰۰۱-۰۰۶-۰۰۱/۰۸۰210Completeness and soundness
صدق منطقی: فرامنطق ۰۰۱-۰۰۶-۰۰۱/۰۹۰211Logical Truth
توان گویایی: فرامنطق ۰۰۱-۰۰۶-۰۰۱/۱۰۰212Expressive power
قضیه ناتمامیت: فرامنطق ۰۰۱-۰۰۶-۰۰۱/۱۱۰213Incompleteness theorem
قضیه اول ناتمامیت: فرامنطق ۰۰۱-۰۰۶-۰۰۱/۱۲۰214First Incompleteness theorem
قضیه دوم ناتمامیت: فرامنطق ۰۰۱-۰۰۶-۰۰۱/۱۳۰215Second Incompleteness theorem
قواعد نحوی: فرمول ۰۰۱-۰۰۷-۰۰۱/۰۱۰216Syntax rules
قواعد ساخت: فرمول ۰۰۱-۰۰۷-۰۰۱/۰۲۰217Construction rules
قواعد نگارش صورت: فرمول ۰۰۱-۰۰۷-۰۰۱/۰۳۰218Syntax of formal language
نحو زبان صوری: فرمول ۰۰۱-۰۰۷-۰۰۱/۰۴۰219Syntax of formal language
زبان صوری: فرمول ۰۰۱-۰۰۷-۰۰۱/۰۵۰220Forma language
Pℓ: فرمول ۰۰۱-۰۰۷-۰۰۱/۰۶۰221LP
واژگان ابتدایی: فرمول ۰۰۱-۰۰۷-۰۰۱/۰۷۰222Primitive vocabulary
اتم‌: فرمول ۰۰۱-۰۰۷-۰۰۱/۰۸۰223Atom
رابط‌: فرمول ۰۰۱-۰۰۷-۰۰۱/۰۹۰224Connective
رابط‌های ابتدایی: فرمول ۰۰۱-۰۰۷-۰۰۱/۱۰۰225Primitive connective
نمادهای ویژه: فرمول ۰۰۱-۰۰۷-۰۰۱/۱۱۰226Special symbols
ƒPℓ: فرمول ۰۰۱-۰۰۷-۰۰۱/۱۲۰227ƑLp
متغیرهای فرازبانی: فرمول ۰۰۱-۰۰۷-۰۰۱/۱۳۰228Syntactical variables
تعریف بازگشتی صورت: فرمول ۰۰۱-۰۰۷-۰۰۱/۱۴۰229Recursive definition of form
قواعد نگارش: فرمول ۰۰۱-۰۰۷-۰۰۱/۱۵۰230Syntax rules
دنباله پیکربندی: فرمول ۰۰۱-۰۰۷-۰۰۱/۱۶۰231Formation sequence
فرمول خوش-ساخت: فرمول ۰۰۱-۰۰۷-۰۰۱/۱۷۰232Well-Formed Formula
wff: فرمول ۰۰۱-۰۰۷-۰۰۱/۱۸۰233wff
فرمول شماتیک: فرمول ۰۰۱-۰۰۷-۰۰۱/۱۹۰234Schematic formula
فرمول اتمی: فرمول ۰۰۱-۰۰۷-۰۰۱/۲۰۰235Atomic Formula
فرمول غیر اتمی: فرمول ۰۰۱-۰۰۷-۰۰۱/۲۱۰236Non-atomic formula
شمارایی مجموعه فرمول‌ها: فرمول ۰۰۱-۰۰۷-۰۰۱/۲۲۰237Denumerability of formulas
شماره گذاری گودل: فرمول ۰۰۱-۰۰۷-۰۰۱/۲۳۰238Godel Numbering
درجه فرمول: فرمول ۰۰۱-۰۰۷-۰۰۱/۲۴۰239Degree of formula
زیرفرمول: فرمول ۰۰۱-۰۰۷-۰۰۱/۲۵۰240Subformula
زیرفرمول بی‌واسطه: فرمول ۰۰۱-۰۰۷-۰۰۱/۲۶۰241Immediate subformula
خوانش یکتای فرمول: فرمول ۰۰۱-۰۰۷-۰۰۱/۲۷۰242Unique reading of formula
استقرای ساختاری: فرمول ۰۰۱-۰۰۷-۰۰۱/۲۸۰243Structural induction
استقرای طولی فرمول‌: فرمول ۰۰۱-۰۰۷-۰۰۱/۲۹۰244Induction over length of formula
طول فرمول: فرمول ۰۰۱-۰۰۷-۰۰۱/۳۰۰245Formula length
استقرای طولی فرمول‌: فرمول ۰۰۱-۰۰۷-۰۰۱/۳۱۰246Induction over length of formula
رتبه فرمول: فرمول ۰۰۱-۰۰۷-۰۰۱/۳۲۰247Rank of formula
⏉: فرمول ۰۰۱-۰۰۷-۰۰۱/۳۳۰248
⏊: فرمول ۰۰۱-۰۰۷-۰۰۱/۳۴۰249
رابط اصلی فرمول: فرمول ۰۰۱-۰۰۷-۰۰۱/۳۵۰250Main connective
سطح الویت رابط‌‌: فرمول ۰۰۱-۰۰۷-۰۰۱/۳۶۰251Connective priority level
تصمیم پذیری فرمول خوش-ساخت: فرمول ۰۰۱-۰۰۷-۰۰۱/۳۷۰252Decidability of well-formed formula
الگوریتمِ تصمیم پذیری فرمول: فرمول ۰۰۱-۰۰۷-۰۰۱/۳۸۰253Well-formed formula decision algorithm
درخت پیکربندی: فرمول ۰۰۱-۰۰۷-۰۰۱/۳۹۰254Formation tree
درخت فراکافت: فرمول ۰۰۱-۰۰۷-۰۰۱/۴۰۰255Parse tree
شناسایی درخت فراکافت: فرمول ۰۰۱-۰۰۷-۰۰۱/۴۱۰256Identifying the parse tree
درخت پیکربندی: فرمول ۰۰۱-۰۰۷-۰۰۱/۴۲۰257Formation tree
نظریه برهان: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۰۱۰258Proof theory
دستگاه استنتاج طبیعی NdPℓ: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۰۲۰259NdPℓ natural deduction system
دستگاه استنتاجی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۰۳۰260Deductive system
قاعده استنتاج: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۰۴۰261Inference rule
نتیجه مستقیم: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۰۵۰262Direct conclusion
مقدمات: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۰۶۰263Premises
قواعد استنتاج آغازین: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۰۷۰264Primitive inference rules
قواعد حذفی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۰۸۰265Elimination Rules
قواعد معرفی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۰۹۰266Introduction Rules
حذف شرطی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۱۰۰267Conditional Elimination
حذف عطفی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۱۱۰268Conjunction Elimination
حذف فصلی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۱۲۰269Disjunction Elimination
حذف نقیض: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۱۳۰270Negation Elimination
حذف نقض دو‌گانه: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۱۴۰271Double Negation Elimination
معرفی شرطی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۱۵۰272Conditional Introduction
معرفی عطفی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۱۶۰273Conjunction Introduction9s1
معرفی فصلی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۱۷۰274Disjunction Introduction
معرفی نقیض: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۱۸۰275Negation Introduction
⊃E: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۱۹۰276⊃E
معرفی شرطی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۲۰۰277Conditional Introduction
⊃i: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۲۱۰278⊃I
∧E۱: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۲۲۰279∧E۱
∧I: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۲۳۰280∧I
∧E۲: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۲۴۰281∧E۱
∨I۱: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۲۵۰282∨I۱
∨E: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۲۶۰283∨E
∨I۲: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۲۷۰284∨I۲
~E: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۲۸۰285~E
~I: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۲۹۰286~I
~~E: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۳۰۰287~~E
استنتاج: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۳۱۰288Deduction
نتیجه صوری: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۳۲۰289Formal conclusion
نتیجه: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۳۳۰290conclusion
دست-آوردنی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۳۴۰291Drivable
برهان صوری: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۳۵۰292Formal proof
برهان نحوی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۳۶۰293Syntactical proof
⊢: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۳۷۰294
استنتاج صوری: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۳۸۰295Formal Deduction
مقدمه: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۳۹۰296Premise
مقدمات: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۴۰۰297Premises
نتیجه: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۴۱۰298Conclusion
یکنوایی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۴۲۰299Monotonicity
منطق یکنوا: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۴۳۰300Monotonic logic
منطق نا یکنوا: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۴۴۰301Non-monotonic logic
ترایایی استنتاج: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۴۵۰302Transitivity of deduction
استنتاج عضوی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۴۶۰303Membership deduction
اینهمانی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۴۷۰304Identity
مقابله: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۴۸۰305Collation
قضیه: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۴۹۰306Theorem
قاعده دست-آوردنی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۵۰۰307Derivable rule
معرفی شرطی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۵۱۰308Conditional Introduction
قضیه اینهمانی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۵۲۰309Identity theorem
واگردان: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۵۳۰310Exportation theorem
قیاس شرطی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۵۴۰311Hypothetical Syllogism
ساده گردان: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۵۵۰312Simplification
تعمیم معرفی شرطی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۵۶۰313Conditional introduction generalization
I.C.G: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۵۷۰314I.C.G
فراقضیه استنتاج: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۵۸۰315Deduction theorem
قضیه و استنتاج: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۵۹۰316Theorem and deduction
قضیه برگردان: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۶۰۰317Importation theorem
نفی دوگانه: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۶۱۰318Duble negation
ترانهش: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۶۲۰319Transposition
قضیه دمورگان: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۶۳۰320Demorgan theorems
قیاس اقترانی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۶۴۰321Modus tollens
تبدیل: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۶۵۰322Transmutation
قضیه دوگانگی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۶۶۰323Dichotomy theorem
L.E.M: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۶۷۰324L.E.M
تفکیک شرطی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۶۸۰325Conditional resolution
قیاس فصلی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۶۹۰326Disjunctive syllogism
پخش پذیری: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۷۰۰327Distributive law
برهان خلف: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۷۱۰328Indirect proof of validity
مجموعه سازگار فرمول: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۷۲۰329Consistent set of formulas
مجموعه ناسازگار فرمول: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۷۳۰330Inconsistent set of formulas
دستگاه استنتاجی سازگار: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۷۴۰331Consistent deductive system
مطلقاً سازگار: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۷۵۰332Absolutely consistent
نتیجه مهم سازگاری: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۷۶۰333Important consequence of consistency
تحت '⊢' بسته: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۷۷۰334Closed under ⊢
به گونه استنتاجی بسته: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۷۸۰335Deductively closed
تئوری صوری: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۷۹۰336Formal theory
تئوری: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۸۰۰337Theory
نظریه: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۸۱۰338Theory
قضیه فشردگی: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۸۲۰339Compactness Theorem
سازگار بیشینه: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۸۳۰340Maximally consistent
سازگاری بیشینه: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۸۴۰341Maximal consistency
تعبیر و فرامنطق در NdPℓ: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۸۵۰342Interpretation and Metalogic in NdPℓ
سازگاری دستگاه NdPℓ: نظریه برهان(۱) ۰۰۱-۰۰۸-۰۰۱/۸۶۰343Consistency of end system
نظریه توابع بازگشتی: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۰۱۰344Theory of recursive functions
حساب لامبدا: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۰۲۰345Lambda calculus
نظریه‌های گسترشی: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۰۳۰346Extensional theories
نظریه‌های ناگسترشی: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۰۴۰347Non-extensional theories
زبان‌های تابعی: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۰۵۰348Functional programming
ماشین‌های تورینگ: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۰۶۰349Turing Machines
ماشین‌های اندوختگانی: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۰۷۰350Register Machine
سخت‌افزار: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۰۸۰351Hardware
نرم‌افزار: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۰۹۰352Software
انباره: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۱۰۰353Register
رجیستر: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۱۱۰354Register
RM: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۱۲۰355RM
URM: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۱۳۰356URM
برچسب: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۱۴۰357Label
بدنه: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۱۵۰358Body
توقف بد: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۱۶۰359Bad halting
توقف خوب: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۱۷۰360Good halting
نمایش شماتیک ماشین‌های اندوختگاهی: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۱۸۰361Graphical registers machines representation
برنامه نویسی ماشین‌های اندوختگانی: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۱۹۰362Programming of register machines
پیکربندی ماشین اندوختگانی: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۲۰۰363Register machine configuration
قطعی: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۲۱۰364Deterministic
توابع رایانش پذیر جزئی: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۲۲۰365Partial computable Functions
رایانش: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۲۳۰366Computing
رایانش‌پذیر: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۲۴۰367Computable
تابع رایانش‌پذیر: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۲۵۰368Computable function
شمار‌گذاری گودل: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۲۶۰369Godel numbering in RG
ماشین‌های تورینگ: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۲۷۰370Turing Machines
دنباله ماشین‌های تورینگ: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۲۸۰371Turing machines sequence
ماشین پایان دار: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۲۹۰372Finite Machine
ماشین بی‌پایان: ماشین اندوختگانی ۰۰۹-۰۰۱-۰۰۱/۳۰۰373Infinite Machine
تابع بازگشتی-نخستینی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۰۱۰374Primitive recursive function
خوارزمی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۰۲۰375Al-Khwarizmi
دیوید هیلبرت: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۰۳۰376David Hilbert
مسئله دهم هیلبرت: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۰۴۰377Hilbert's tenth Problem
مسئله تصمیم‌پذیری: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۰۵۰378Entscheidungsproblem
تز چرج-تورینگ: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۰۶۰379Church–Turing thesis
تز چرچ: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۰۷۰380Church’s Thesis
توابع پیشینی بازگشتی-نخستینی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۰۸۰381Primitive recursive a priori functions
دستگاه توابع بازگشتی-نخستینی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۰۹۰382System of Primitive Recursive Functions
توابع پیشینی بازگشتی-نخستینی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۱۰۰383Primitive recursive a priori functions
تابع صفر: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۱۱۰384Zero function
تابع تالی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۱۲۰385Successor function
تابع افکنش: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۱۳۰386Projection function
قاعده ترکیب: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۱۴۰387Composition rule
cmp.rl: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۱۵۰388cmp.rl
تابع جانشینی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۱۶۰389Substitution function
قاعده بازگشتی-نخستینی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۱۷۰390Primitive recursive rule
pr.rl: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۱۸۰391Pr.rl
بگونه بازگشتی نخستینی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۱۹۰392By Primitive recursion
پارامترهای بازگشتی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۲۰۰393Recursive parameters
تابع بازگشتی-نخستینی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۲۱۰394Primitive recursive function
p.r: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۲۲۰395p.r
کلاس توابع p.r: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۲۳۰396Class of p.r functions
معادلات بازگشتی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۲۴۰397معادلات بازگشتی
مجموعه بازگشتی-نخستینی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۲۵۰398Primitive recursive sets
مجموعه تصمیم پذیر بازگشتی-نخستینی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۲۶۰399Primitive recursive decidable sets
رابطه بازگشتی-نخستینی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۲۷۰400Primitive recursive relations
رابطه تصمیم پذیر بازگشتی-نخستینی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۲۸۰401Primitive recursive decidable relations
تابع کاهش: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۲۹۰402Decrease function
تابع پیشین: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۳۰۰403Predecessor function
تابع تفریق کوتاه شده: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۳۱۰404Truncated subtraction function
تابع قدر مطلق: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۳۲۰405Absolute value function
تابع علامت: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۳۳۰406Sign function
تابع توان: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۳۴۰407Power function
تابع فاکتوریل: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۳۵۰408Factorial function
توابع بیشینه و کمینه: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۳۶۰409Maximum and minimum function
جمع کراندار: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۳۷۰410Bounded sum
ضرب کراندار: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۳۸۰411Bounded products
شمارش مقسوم علیه: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۳۹۰412Counting divisor
چرخه: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۴۰۰413Function iteration
تابع ثابت: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۴۱۰414Constant function
تعریف و استدلال مبتنی بر مورد: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۴۲۰415Case-based definition and reasoning
تابع تعداد مقسوم علیه‌ها: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۴۳۰416Divisor counting function
تابع اول بودن: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۴۴۰417Primeness function
کمینه ساز کراندار: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۴۵۰418Bounded Minimalization
B.Min: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۴۶۰419B.Min
μ: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۴۷۰420Μ
عملگر کمینه‌ساز: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۴۸۰421Minimalization operator
حاصل جمع ضرب کراندار: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۴۹۰422Bounded total of multiplication
سور کراندار: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۵۰۰423Bounded quantification
سور عمومی کراندار: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۵۱۰424Bounded quantification
سور وجودی کراندار: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۵۲۰425Bounded quantification
جستجوی کراندار: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۵۳۰426Bounded Search
عملگر جستجو: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۵۴۰427Search operator
nامین عدد اول: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۵۵۰428Primeness function
توان nامین فاکتور اول در تجزیه: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۵۶۰429Power of Nth prime factor
دنباله‌های کد گذاری: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۵۷۰430Coding sequences
شمارگذاری گودل: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۵۸۰431Gödel Numbering
رایانش‌پذیری و توابع بازگشتی-نخستینی: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۵۹۰432Computability and primitive recursive functions
روش قطری: توابع بازگشتی نخستینی ۰۰۹-۰۰۲-۰۰۱/۶۰۰433Diagonalization method
تابع آکرمان: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۰۱۰434Ackermann function)
برخی ویژگی‌های تابع آکرمان: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۰۲۰435Ackermann function properties
تابع آکرمان یک تابع نخستینی-بازگشت نیست.: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۰۳۰436Ackermann function not pr
کمینه سازی بی‌کران: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۰۴۰437Unbounded Minimalization
عملگر کمینه‌ساز بیکران - μ: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۰۵۰438Unbounded minimization operator
μ: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۰۶۰439Μue
تابع بازگشتی: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۰۷۰440Recursive functions
تابع بازگشتی کامل: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۰۸۰441Total Recursive functions
تابع رایانش‌پذیر: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۰۹۰442Computable function
تابع رایانش‌ناپذیر: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۱۰۰443Uncomputable Function
سور کراندار: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۱۱۰444Bounded quantifier closure
مجموعه بازگشتی: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۱۲۰445Recursive sets
مجموعه تصمیم‌پذیر: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۱۳۰446Decidable sets
مجموعه رایانش‌پذیر: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۱۴۰447Computable sets
مجموعه تصمیم‌ناپذیر: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۱۵۰448Undecidable set
مسئله تصمیم‌ گیری: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۱۶۰449Decision problem
مورد پرسش: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۱۷۰450Problem Instance
رابطه بازگشتی: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۱۸۰451Recursive relation
رابطه تصمیم‌پذیر: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۱۹۰452Decidable relations
رابطه رایانش‌پذیر: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۲۰۰453Computable relations
جبر تصمیم‌پذیری: توابع بازگشتی ۰۰۹-۰۰۳-۰۰۱/۲۱۰454Algebra of computability
رایانش‌پذیری جزئی: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۰۱۰455Partial computability
بازگشتی جزئی: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۰۲۰456Partial recursive
تابع بازگشتی جزئی: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۰۳۰457Partial recursive function
تابع رایانش‌پذیر جزئی: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۰۴۰458Partial computable function
تابع μ-بازگشتی: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۰۵۰459Μ-recursive functions
μRc: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۰۶۰460μRc
نمایه‌سازی توابع رایانش‌پذیر جزئی: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۰۷۰461Indexation of partial computable functions
قضیه صورت نرمال: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۰۸۰462Normal Form Theorem
محمول T کلین: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۰۹۰463Kleene's T predicate
اندیس: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۱۰۰464Index
قضیه برشمارش: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۱۱۰465Enumeration theorem
مجموعه نمایه: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۱۲۰466Index sets
مجموعه نمایه نابدیهی: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۱۳۰467Non-trivial index set
مجموعه نمایه بدیهی: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۱۴۰468Trivial index set
تابع قطری: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۱۵۰469Diagonal function
روش قطری در اثبات وجود تابع کامل رایانش‌نا‌پذیر: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۱۶۰470Diagonalization method in computation
ماشین اندوختگانی جهانی: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۱۷۰471Universal register machine
تابع جهانی: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۱۸۰472Universal function
برنامه جهانی: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۱۹۰473Universal program
ماشین جهانی: بازگشتی جزئی ۰۰۹-۰۰۴-۰۰۱/۲۰۰474Universal Machine
تصمیم‌پذیر: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۰۱۰475Decidable
نیمی-تصمیم‌پذیر: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۰۲۰476Semi-Decidable
شناسنده: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۰۳۰477Recognizer
پذیرنده: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۰۴۰478Acceptor
تصمیم ناپذیر: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۰۵۰479Undecidable
≃: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۰۶۰480
رابطه رایانش‌پذیر برشمردنی: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۰۷۰481Computably Enumerable Relations
رابطه بازگشتی برشمردنی: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۰۸۰482Recursively Enumerable sets
مجموعه رایانش‌پذیر برشمردنی: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۰۹۰483Computably Enumerable sets
مجموعه بازگشتی برشمردنی: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۱۰۰484Recursively Enumerable sets
c.e: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۱۱۰485c.e.
Wn: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۱۲۰486Wx
قضیه متمم: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۱۳۰487Complementation Theorem
K⚬: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۱۴۰488Halting set
مجموعه توقف: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۱۵۰489Halting set
مسئله توقف: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۱۶۰490Halting Problem
مسئله‌ تصمیم‌پذیری: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۱۷۰491Decidable Problem
مسئله تصمیم‌ ناپذیری: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۱۸۰492Undecidability Problem
K: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۱۹۰493Diagonal halting set
مجموعه توقف قطری: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۲۰۰494Diagonal halting set
رایانش‌پذیری نسبی: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۲۱۰495Relative computability
کاهش‌پذیری: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۲۲۰496Reducibility
≤m: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۲۳۰497≤m
کاهش‌پذیری نگاشتی: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۲۴۰498Mapping Reducibility
هم‌ارز چند-یک: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۲۵۰499Many-one equivalent
≡m: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۲۶۰500≡m
درجه چند-یک: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۲۷۰501Many-one Degree
degm: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۲۸۰502m-deg)
درجه نگاشتی: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۲۹۰503Mapping Degree
روش کاهش: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۳۰۰504Reduction method
کار روش کاهش: تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۳۱۰505Applying the reduction method
مجموعه کامل (چند-یک): تصمیم‌پذیری و روش کاهش ۰۰۹-۰۰۵-۰۰۱/۳۲۰506Many-one complete
قضیه s-m-n: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۰۱۰507S-m-n theorem
قضیه پارامتر: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۰۲۰508Parameter theorem
قضیه پارامتر: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۰۳۰509Parameter theorem
قضیه رایس: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۰۴۰510Rice's theorem
قضیه رایس: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۰۵۰511Rice's theorem
سختی نسبی: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۰۶۰512Relative difficulty
سلسله مراتب (پایگان) حسابی: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۰۷۰513Arithmetical Hierarchy
Σ۱: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۰۸۰514Σ۱
مجموعه نمایه متمم: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۰۹۰515Complement index set
Co-c.e: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۱۰۰516Co-c.e
Π۱: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۱۱۰517Π۱
Σ۲: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۱۲۰518Σ2
Π۲: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۱۳۰519Π۲
کلاس حسابی: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۱۴۰520Arithmetical class
مجموعه حسابی: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۱۵۰521Arithmetical set
قضیه بازگشت: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۱۶۰522Recursion Theorem
مقدار نقطه برجا: قضیه‌های رایس و بازگشت ۰۰۹-۰۰۶-۰۰۱/۱۷۰523Fixed-point value
اوراکل: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۰۱۰524Oracle
𝒪(B): ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۰۲۰525Oracle
ماشین تورینگ اوراکل: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۰۳۰526Oracle turing machine
کاهش پذیر تورینگ: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۰۴۰527Turing reducible
T-کاهش‌پذیر: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۰۵۰528T-reducible
کامل تورینگ: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۰۶۰529Many-one complete
T-Complete: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۰۷۰530M-Complete
هم‌ارز تورینگ: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۰۸۰531Turing equivalent
≡t: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۰۹۰532≡t
درجه تورینگ: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۱۰۰533Degree (many-one)
درجه حل‌ناشدنی: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۱۱۰534turng_degree9s1
degt: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۱۲۰535m-deg)
پرش تورینگ: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۱۳۰536Turing jump
نگاشت پرش تورینگ: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۱۴۰537Turing jump mapping
پرش nام تورینگ: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۱۵۰538The nth Turing jump
پایگان (سلسله مراتب) درجه‌های تورینگ: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۱۶۰539Jump hierarchy of Turing-degrees
پایگان (سلسله مراتب) پرشی مجموعه‌ها: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۱۷۰540Jump hierarchy of sets
پایگان (سلسله مراتب) درجه‌های تورینگ: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۱۸۰541Jump hierarchy of T-degrees
قضیه کلین-پست: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۱۹۰542Kleene-Post Theorem
پایگان درجه‌های تورینگ: ماشین اوراکل ۰۰۹-۰۰۷-۰۰۱/۲۰۰543Mapping degrees and Turing degrees
قواعد گذار: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۰۱۰544Transition rule
حالتی: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۰۲۰545State
حالت و قاعده گذار: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۰۳۰546State and transition rule
حالت: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۰۴۰547State
ایستانه: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۰۵۰548State
قاعده گذار: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۰۶۰549Transition rule
ماشین تورینگ: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۰۷۰550Turing machine
ساختار ماشین تورینگ: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۰۸۰551Turing machine structure
ورودی: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۰۹۰552Input
حافظه خطی: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۱۰۰553Linear memory
نوار حافظه: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۱۱۰554Memory tape
نوار: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۱۲۰555Memory tape
کلاهک خواندن / نوشتن: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۱۳۰556Read / write head
مجموعه حالت‌ها: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۱۴۰557Set of states
حالت‌ها: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۱۵۰558State
حالت آغازی: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۱۶۰559Initial state
حالت پایانی: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۱۷۰560Terminal state
قواعده گذار: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۱۸۰561Transition rule
برنامه تورینگ: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۱۹۰562Turing program
تابع گذار: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۲۰۰563Turing function
چرخه: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۲۱۰564Cycle
واحد کنترل: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۲۲۰565Control unit
روش نموداری نمایش ماشین تورینگ: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۲۳۰566Diagrammatic method of Turing machine representation
ماشین تورینگ و حل مسئله: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۲۴۰567Turing machine and problem solving
مسئله توقف: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۲۵۰568Halting problem
تابع گذار: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۲۶۰569Transition function
جدول گذار ماشین تورینگ: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۲۷۰570Turing machine Transition table
نمودار حالت: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۲۸۰571States diagram
ماشین گذار حالت: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۲۹۰572State transition machine
ماشین تورینگ جهانی: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۳۰۰573Universal Turing machine
UTM: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۳۱۰574Universal Turing machine
ماشین‌ تورینگ قطعی: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۳۲۰575Deterministic Turing machine
DTM: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۳۳۰576DTM
قطعیت: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۳۴۰577Determinism
ماشین‌ تورینگ غیر-قطعی: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۳۵۰578Nondeterministic Turing machine
NTM: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۳۶۰579DTM
هم‌ارزی↝ دو ماشین تورینگ: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۳۷۰580Decidability two Turing Machines
کامپیوترهای فون نویمانی: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۳۸۰581Von Neumann computers
برنامه ذخیره شده: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۳۹۰582Stored-program
حافظه: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۴۰۰583Memory
واحد مرکزی پردازش: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۴۱۰584Central processing unit
CPU: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۴۲۰585Arithmetic logic unit
واحد منطق حسابی: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۴۳۰586Arithmetic logic unit
ALU: ماشین تورینگ ۰۰۹-۰۰۸-۰۰۱/۴۴۰587Arithmetic logic unit
توجه: